Narrow verbosity escalation to only apply when both types contain TemplateType

The identical-description check was overly broad — it would escalate
verbosity for any two types with the same description. Restrict it to
only trigger when both the accepting and accepted types contain
TemplateType, which is the actual scenario where different-scope
templates produce confusingly identical descriptions.

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

Author: phpstan-bot

src/Type/VerbosityLevel.php

@@ -223,7 +223,7 @@ public static function getRecommendedLevelByType(Type $acceptingType, ?Type $acc
 		if (!$containsInvariantTemplateType) {
 			$level = $verbosity ?? self::typeOnly();
 
-			if ($acceptingType->describe($level) === $acceptedType->describe($level)) {
+			if (self::containsTemplateType($acceptingType) && self::containsTemplateType($acceptedType) && $acceptingType->describe($level) === $acceptedType->describe($level)) {
 				return self::precise();
 			}
 
@@ -242,13 +242,32 @@ public static function getRecommendedLevelByType(Type $acceptingType, ?Type $acc
 
 		$level = $moreVerbose ? self::value() : $verbosity ?? self::typeOnly();
 
-		if ($acceptingType->describe($level) === $acceptedType->describe($level)) {
+		if (self::containsTemplateType($acceptingType) && self::containsTemplateType($acceptedType) && $acceptingType->describe($level) === $acceptedType->describe($level)) {
 			return self::precise();
 		}
 
 		return $level;
 	}
 
+	private static function containsTemplateType(Type $type): bool
+	{
+		$found = false;
+		TypeTraverser::map($type, static function (Type $type, callable $traverse) use (&$found): Type {
+			if ($found) {
+				return $type;
+			}
+
+			if ($type instanceof TemplateType) {
+				$found = true;
+				return $type;
+			}
+
+			return $traverse($type);
+		});
+
+		return $found;
+	}
+
 	/**
 	 * @param callable(): string $typeOnlyCallback
 	 * @param callable(): string $valueCallback