Merge pull request #9115 from BenMorel/getDefaultValueConstantName

Infer getDefaultValueConstantName() type when isDefaultValueConstant() is true
vimeo · Jan 15, 2023 · dedb4bb · dedb4bb
2 parents f4b7ab9 + 951f082
commit dedb4bb
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/stubs/Reflection.phpstub b/stubs/Reflection.phpstub
@@ -642,6 +642,13 @@ class ReflectionParameter implements Reflector {
     * @since 8.0
     */
     public function isPromoted(): bool {}
+
+    /**
+     * @psalm-assert-if-true string $this->getDefaultValueConstantName()
+     */
+    public function isDefaultValueConstant(): bool {}
+
+    public function getDefaultValueConstantName(): ?string {}
 }
 
 /** @psalm-immutable */