Regression test

Closes phpstan/phpstan#11033

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -112,6 +112,7 @@ private static function findTestFiles(): iterable
 		yield __DIR__ . '/../Rules/Functions/data/varying-acceptor.php';
 		yield __DIR__ . '/../Rules/Methods/data/bug-4415.php';
 		yield __DIR__ . '/../Rules/Methods/data/bug-5372.php';
+		yield __DIR__ . '/../Rules/PhpDoc/data/bug-11033.php';
 		yield __DIR__ . '/../Rules/Arrays/data/bug-5372_2.php';
 		yield __DIR__ . '/../Rules/Methods/data/bug-5562.php';
 

tests/PHPStan/Rules/PhpDoc/IncompatiblePropertyPhpDocTypeRuleTest.php

@@ -193,4 +193,9 @@ public function testGenericCallables(): void
 		]);
 	}
 
+	public function testBug11033(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11033.php'], []);
+	}
+
 }

tests/PHPStan/Rules/PhpDoc/data/bug-11033.php

@@ -0,0 +1,51 @@
+<?php
+
+namespace Bug11033;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @phpstan-template T of GotoTarget
+ *
+ * @phpstan-type CandidateNotesData array{candidate: string, note: string}
+ * @phpstan-type PersonalmanagerData array{token: string}
+ *
+ * @phpstan-type GotoRouteDataTypes array{
+ *     'personalmanager': PersonalmanagerData,
+ *     'my-pending-reviews': null,
+ *     'candidate-notes': CandidateNotesData,
+ *     'dashboard': null,
+ * }
+ */
+final class GotoRoute
+{
+	/**
+	 * @phpstan-var T
+	 */
+	public GotoTarget $target;
+
+	/**
+	 * @phpstan-var GotoRouteDataTypes[value-of<T>]
+	 */
+	public ?array $data = null;
+}
+
+enum GotoTarget: string
+{
+	case PERSONALMANAGER = 'personalmanager';
+	case MY_PENDING_REVIEWS = 'my-pending-reviews';
+	case CANDIDATE_NOTES = 'candidate-notes';
+	case DASHBOARD = 'dashboard';
+}
+
+function (): void {
+	/** @var GotoRoute<GotoTarget::PERSONALMANAGER> $goto */
+	$goto = new GotoRoute();
+	assertType('array{token: string}', $goto->data);
+};
+
+function (): void {
+	/** @var GotoRoute<GotoTarget::DASHBOARD> $goto */
+	$goto = new GotoRoute();
+	assertType('null', $goto->data);
+};