Prevent overly greedy $scope->getType() calls in ImpossibleInstanceOfRule

Author: staabm

src/Rules/Classes/ImpossibleInstanceOfRule.php

@@ -34,9 +34,6 @@ public function getNodeType(): string
 
 	public function processNode(Node $node, Scope $scope): array
 	{
-		$instanceofType = $scope->getType($node);
-		$expressionType = $scope->getType($node->expr);
-
 		if ($node->class instanceof Node\Name) {
 			$className = $scope->resolveName($node->class);
 			$classType = new ObjectType($className);
@@ -50,13 +47,14 @@ public function processNode(Node $node, Scope $scope): array
 				return [
 					RuleErrorBuilder::message(sprintf(
 						'Instanceof between %s and %s results in an error.',
-						$expressionType->describe(VerbosityLevel::typeOnly()),
+						$scope->getType($node->expr)->describe(VerbosityLevel::typeOnly()),
 						$classType->describe(VerbosityLevel::typeOnly()),
 					))->build(),
 				];
 			}
 		}
 
+		$instanceofType = $scope->getType($node);
 		if (!$instanceofType instanceof ConstantBooleanType) {
 			return [];
 		}
@@ -78,15 +76,15 @@ public function processNode(Node $node, Scope $scope): array
 			return [
 				$addTip(RuleErrorBuilder::message(sprintf(
 					'Instanceof between %s and %s will always evaluate to false.',
-					$expressionType->describe(VerbosityLevel::typeOnly()),
+					$scope->getType($node->expr)->describe(VerbosityLevel::typeOnly()),
 					$classType->describe(VerbosityLevel::getRecommendedLevelByType($classType)),
 				)))->build(),
 			];
 		} elseif ($this->checkAlwaysTrueInstanceof) {
 			return [
 				$addTip(RuleErrorBuilder::message(sprintf(
 					'Instanceof between %s and %s will always evaluate to true.',
-					$expressionType->describe(VerbosityLevel::typeOnly()),
+					$scope->getType($node->expr)->describe(VerbosityLevel::typeOnly()),
 					$classType->describe(VerbosityLevel::getRecommendedLevelByType($classType)),
 				)))->build(),
 			];