fixes after rebase

Author: canvural

src/Analyser/MutatingScope.php

@@ -3023,7 +3023,7 @@ public function addTypeToExpression(Expr $expr, Type $type): self
 
 	public function removeTypeFromExpression(Expr $expr, Type $typeToRemove): self
 	{
-		if ($typeToRemove instanceof NeverType) {
+		if ($typeToRemove->isNever()->yes()) {
 			return $this;
 		}
 

src/Type/Generic/GenericClassStringType.php

@@ -226,7 +226,7 @@ public function tryRemove(Type $typeToRemove): ?Type
 					$classReflection = $reflectionProvider->getClass($typeToRemove->getValue());
 					if ($classReflection->isFinal()) {
 						$remainingType = TypeCombinator::remove($generic, $objectTypeToRemove);
-						if ($remainingType instanceof NeverType) {
+						if ($remainingType->isNever()->yes()) {
 							return new NeverType();
 						}
 

src/Type/TypehintHelper.php

@@ -122,7 +122,7 @@ public static function decideType(
 			if (
 				($type->isCallable()->yes() && $phpDocType->isCallable()->yes())
 				|| (
-					(!$phpDocType->isNever()->yes() || ($type instanceof MixedType && !$type->isExplicitMixed()))
+					($phpDocType->isNever()->no() || ($type instanceof MixedType && !$type->isExplicitMixed()))
 					&& $type->isSuperTypeOf(TemplateTypeHelper::resolveToBounds($phpDocType))->yes()
 				)
 			) {