Move ClassReflection::withResolvedTemplates logic to ClassTemplateRes…

…olver::create

src/ClassReflection.php

@@ -551,16 +551,8 @@ public function withResolvedTemplates(array $templateArguments = []): self
             return $this;
         }
 
-        $resolvedTemplateArguments = [];
-
-        foreach ($this->templates as $template) {
-            $resolvedTemplateArguments[$template->name] = $templateArguments[$template->name]
-                ?? $templateArguments[$template->getPosition()]
-                ?? $template->getConstraint();
-        }
-
         /** @var self<T> */
-        return $this->withResolvedTypes(new ClassTemplateResolver($this->name, $resolvedTemplateArguments));
+        return $this->withResolvedTypes(ClassTemplateResolver::create($this->name, $this->templates, $templateArguments));
     }
 
     /**

src/TemplateReflection.php

@@ -9,6 +9,7 @@
 
 /**
  * @api
+ * @psalm-immutable
  */
 final class TemplateReflection
 {

src/TypeResolver/ClassTemplateResolver.php

@@ -4,13 +4,13 @@
 
 namespace Typhoon\Reflection\TypeResolver;
 
+use Typhoon\Reflection\TemplateReflection;
 use Typhoon\Type;
 use Typhoon\Type\types;
 use Typhoon\Type\TypeVisitor;
 
 /**
- * @internal
- * @psalm-internal Typhoon\Reflection
+ * @api
  * @psalm-immutable
  * @implements TypeVisitor<Type\Type>
  */
@@ -20,11 +20,30 @@ final class ClassTemplateResolver implements TypeVisitor
      * @param class-string $class
      * @param non-empty-array<non-empty-string, Type\Type> $templateArguments
      */
-    public function __construct(
+    private function __construct(
         private readonly string $class,
         private readonly array $templateArguments,
     ) {}
 
+    /**
+     * @psalm-pure
+     * @param class-string $class
+     * @param non-empty-array<TemplateReflection> $templates
+     * @param array<Type\Type> $templateArguments
+     */
+    public static function create(string $class, array $templates, array $templateArguments): self
+    {
+        $resolvedTemplateArguments = [];
+
+        foreach ($templates as $template) {
+            $resolvedTemplateArguments[$template->name] = $templateArguments[$template->name]
+                ?? $templateArguments[$template->getPosition()]
+                ?? $template->getConstraint();
+        }
+
+        return new self($class, $resolvedTemplateArguments);
+    }
+
     public function visitNever(Type\NeverType $type): mixed
     {
         return $type;