MutatingScope: prevent unnecessary work in removeTypeFromExpression()

Author: staabm

src/Analyser/MutatingScope.php

@@ -3684,13 +3684,15 @@ public function addTypeToExpression(Expr $expr, Type $type): self
 
 	public function removeTypeFromExpression(Expr $expr, Type $typeToRemove): self
 	{
+		if ($typeToRemove instanceof NeverType) {
+			return $this;
+		}
+
 		$exprType = $this->getType($expr);
-		if (
-			$exprType instanceof NeverType ||
-			$typeToRemove instanceof NeverType
-		) {
+		if ($exprType instanceof NeverType) {
 			return $this;
 		}
+
 		return $this->specifyExpressionType(
 			$expr,
 			TypeCombinator::remove($exprType, $typeToRemove),