Narrow ReflectionEnum::getBackingType after ReflectionEnum::isBacked

Fixes phpstan/phpstan#10167
RobertMe · Nov 20, 2023 · 2e86a2d · 2e86a2d
1 parent 49f1667
commit 2e86a2d
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/stubs/ReflectionEnum.stub b/stubs/ReflectionEnum.stub
@@ -18,4 +18,8 @@ class ReflectionEnum extends ReflectionClass
 	 */
 	public function getCase(string $name): ReflectionEnumUnitCase {}
 
+	/**
+	 * @phpstan-assert-if-true !null $this->getBackingType()
+	 */
+	public function isBacked(): bool {}
 }
diff --git a/tests/PHPStan/Analyser/data/enum-reflection.php b/tests/PHPStan/Analyser/data/enum-reflection.php
@@ -5,6 +5,7 @@
 use ReflectionEnum;
 use ReflectionEnumBackedCase;
 use ReflectionEnumUnitCase;
+use ReflectionType;
 use function PHPStan\Testing\assertType;
 
 enum Foo: int
@@ -41,3 +42,9 @@ public function doFoo(): void
 	}
 
 }
+
+$r = new ReflectionEnum(Foo::class);
+assertType(ReflectionType::class . '|null', $r->getBackingType());
+if ($r->isBacked()) {
+	assertType(ReflectionType::class, $r->getBackingType());
+}