Prevent unnecessary type-traversal

Author: staabm

src/Analyser/MutatingScope.php

@@ -5048,6 +5048,9 @@ private function exactInstantiation(New_ $node, Name $className): Type
 
 				$traverser = new ConstructorClassTemplateTraverser($classTemplateTypes);
 				foreach ($constructorVariant->getParameters() as $parameter) {
+					if (!$parameter->getType()->hasTemplateOrLateResolvableType()) {
+						continue;
+					}
 					TypeTraverser::map($parameter->getType(), $traverser);
 				}
 				$classTemplateTypes = $traverser->getClassTemplateTypes();
@@ -5219,6 +5222,11 @@ classReflection: $classReflection->withTypes($types)->asFinal(),
 				[],
 			);
 		}
+
+		if (!$newGenericType->hasTemplateOrLateResolvableType()) {
+			return $newGenericType;
+		}
+
 		return TypeTraverser::map($newGenericType, new GenericTypeTemplateTraverser($resolvedTemplateTypeMap));
 	}