Add regression tests for phpstan/phpstan#7152 and phpstan/phpstan#13332

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

Author: phpstan-bot

tests/PHPStan/Rules/Generics/ClassAncestorsRuleTest.php

@@ -290,4 +290,9 @@ public function testBug7021(): void
 		$this->analyse([__DIR__ . '/data/bug-7021.php'], []);
 	}
 
+	public function testBug7152(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7152.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Generics/ClassTemplateTypeRuleTest.php

@@ -151,4 +151,20 @@ public function testBug10049(): void
 		]);
 	}
 
+	public function testBug11314(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11314.php'], []);
+	}
+
+	#[RequiresPhp('>= 8.1.0')]
+	public function testBug13332(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13332.php'], []);
+	}
+
+	public function testBug7152(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7152.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Generics/data/bug-11314.php

@@ -0,0 +1,38 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11314Generics;
+
+/**
+ * @phpstan-type Breed 'Siamese'|'British Shorthair'|'Maine Coon'
+ */
+class Cat
+{
+	/**
+	 * @var Breed
+	 */
+	public string $breed;
+}
+
+/**
+ * @phpstan-import-type Breed from Cat
+ *
+ * @template T of Breed
+ */
+class Cat2
+{
+	/**
+	 * @var Breed
+	 */
+	public string $breed;
+}
+
+/**
+ * @phpstan-import-type Breed from Cat
+ */
+class Cat3
+{
+	/**
+	 * @var Breed
+	 */
+	public string $breed;
+}

tests/PHPStan/Rules/Generics/data/bug-13332.php

@@ -0,0 +1,52 @@
+<?php // lint >= 8.1
+
+declare(strict_types = 1);
+
+namespace Bug13332Generics;
+
+enum TestEnum {
+	case A;
+	case B;
+}
+
+/**
+ * @phpstan-type KeyType string|int|\UnitEnum|object
+ *
+ * @template K of KeyType
+ */
+class TestError
+{
+	/** @param K $key */
+	public function __construct(private readonly mixed $key)
+	{
+	}
+
+	/** @return self<TestEnum> */
+	public static function makeEnum(): self
+	{
+		return new self(TestEnum::A);
+	}
+
+	/** @return self<string> */
+	public static function makeString(): self
+	{
+		return new self('foo');
+	}
+}
+
+/**
+ * @template K of string|int|\UnitEnum|object
+ */
+class TestOk
+{
+	/** @param K $key */
+	public function __construct(private readonly mixed $key)
+	{
+	}
+
+	/** @return self<TestEnum> */
+	public static function makeEnum(): self
+	{
+		return new self(TestEnum::A);
+	}
+}

tests/PHPStan/Rules/Generics/data/bug-7152.php

@@ -0,0 +1,29 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7152Generics;
+
+/**
+ * @template T of array<mixed>
+ */
+class Root
+{
+	/** @var T */
+	public array $value;
+}
+
+/**
+ * @phpstan-type Foo array<int>
+ * @template T of Foo
+ * @extends Root<T>
+ */
+class Middle extends Root
+{
+}
+
+/**
+ * @template T of array<int>
+ * @extends Root<T>
+ */
+class Middle2 extends Root
+{
+}