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

- bug-7152: @phpstan-type used as template bound with class inheritance
- bug-13332: @phpstan-type used as template bound with generic return types

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

Author: phpstan-bot

tests/PHPStan/Analyser/nsrt/bug-13332.php

@@ -0,0 +1,65 @@
+<?php // lint >= 8.1
+
+declare(strict_types = 1);
+
+namespace Bug13332;
+
+use function PHPStan\Testing\assertType;
+
+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);
+	}
+}
+
+function () {
+	$error = TestError::makeEnum();
+	assertType('Bug13332\TestError<Bug13332\TestEnum>', $error);
+
+	$errorStr = TestError::makeString();
+	assertType('Bug13332\TestError<string>', $errorStr);
+
+	$ok = TestOk::makeEnum();
+	assertType('Bug13332\TestOk<Bug13332\TestEnum>', $ok);
+};

tests/PHPStan/Analyser/nsrt/bug-7152.php

@@ -0,0 +1,41 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7152;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @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
+{
+}
+
+function () {
+	/** @var Middle<array<int>> $m */
+	$m = new Middle();
+	assertType('array<int>', $m->value);
+
+	/** @var Middle2<array<int>> $m2 */
+	$m2 = new Middle2();
+	assertType('array<int>', $m2->value);
+};