Fix native union type parameter with false

phpstan · Oct 7, 2020 · 917cdb1 · 917cdb1
1 parent 552d4cf
commit 917cdb1
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
@@ -2736,6 +2736,8 @@ public function getFunctionType($type, bool $isNullable, bool $isVariadic): Type
 			return new VoidType();
 		} elseif ($type === 'object') {
 			return new ObjectWithoutClassType();
+		} elseif ($type === 'false') {
+			return new ConstantBooleanType(false);
 		} elseif ($type === 'mixed') {
 			return new MixedType(true);
 		}

diff --git a/tests/PHPStan/Reflection/data/unionTypes.php b/tests/PHPStan/Reflection/data/unionTypes.php
@@ -43,3 +43,20 @@ function (): void {
 
 	assertType('NativeUnionTypes\\Bar|NativeUnionTypes\\Foo', $f(1));
 };
+
+class Baz
+{
+
+	public function doFoo(array|false $foo): void
+	{
+		assertType('array|false', $foo);
+		assertNativeType('array|false', $foo);
+		assertType('array|false', $this->doBar());
+	}
+
+	public function doBar(): array|false
+	{
+
+	}
+
+}