Remove redundant isSuperTypeOf check after TypeCombinator::intersect()

The result of TypeCombinator::intersect($writableType, $nonFinalObjectType)
is by definition a subtype of $nonFinalObjectType, so the isSuperTypeOf
check is always true when the result is not NeverType.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

src/Analyser/ExprHandler/NewHandler.php

@@ -422,7 +422,7 @@ private function exactInstantiation(MutatingScope $scope, New_ $node, Name $clas
 					if ($foundProperty !== null) {
 						$nonFinalObjectType = $isStatic ? new StaticType($nonFinalClassReflection) : new ObjectType($resolvedClassName, classReflection: $nonFinalClassReflection);
 						$propertyType = TypeCombinator::intersect($foundProperty->getWritableType(), $nonFinalObjectType);
-						if (!($propertyType instanceof NeverType) && $nonFinalObjectType->isSuperTypeOf($propertyType)->yes()) {
+						if (!($propertyType instanceof NeverType)) {
 							return $propertyType;
 						}
 					}