Narrow ReflectionEnum::getName() after ReflectionEnum::isBacked()

phpstan · Dec 7, 2023 · 1b126c9 · 1b126c9
1 parent 63a6133
commit 1b126c9
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/stubs/ReflectionEnum.stub b/stubs/ReflectionEnum.stub
@@ -18,4 +18,9 @@ class ReflectionEnum extends ReflectionClass
 	 */
 	public function getCase(string $name): ReflectionEnumUnitCase {}
 
+	/**
+	 * @phpstan-assert-if-true self<BackedEnum> $this
+	 */
+	public function isBacked(): bool {}
+
 }
diff --git a/tests/PHPStan/Analyser/data/enum-reflection.php b/tests/PHPStan/Analyser/data/enum-reflection.php
@@ -41,3 +41,12 @@ public function doFoo(): void
 	}
 
 }
+
+/** @param class-string<UnitEnum> $class */
+function testNarrowGetNameTypeAfterIsBacked(string $class) {
+	$r = new ReflectionEnum($class);
+	assertType('class-string<UnitEnum>', $r->getName());
+	if ($r->isBacked()) {
+		assertType('class-string<BackedEnum>', $r->getName());
+	}
+}