Use isSuperTypeOf() instead of accepts() in the right places

Author: ondrejmirtes

src/Rules/Classes/ImpossibleInstanceOfRule.php

@@ -49,7 +49,7 @@ public function processNode(Node $node, Scope $scope): array
 				new StringType(),
 				new ObjectWithoutClassType(),
 			);
-			if (!$allowed->accepts($classType, true)->yes()) {
+			if (!$allowed->isSuperTypeOf($classType)->yes()) {
 				return [
 					RuleErrorBuilder::message(sprintf(
 						'Instanceof between %s and %s results in an error.',

src/Rules/Operators/InvalidComparisonOperationRule.php

@@ -75,7 +75,7 @@ public function processNode(Node $node, Scope $scope): array
 	private function isNumberType(Scope $scope, Node\Expr $expr): bool
 	{
 		$acceptedType = new UnionType([new IntegerType(), new FloatType()]);
-		$onlyNumber = static fn (Type $type): bool => $acceptedType->accepts($type, true)->yes();
+		$onlyNumber = static fn (Type $type): bool => $acceptedType->isSuperTypeOf($type)->yes();
 
 		$type = $this->ruleLevelHelper->findTypeToCheck($scope, $expr, '', $onlyNumber)->getType();