Test treatPhpDocTypesAsCertain with native union types

ondrejmirtes · ondrejmirtes · commit 552d4cf9f400 · 2020-10-07T19:09:46.000+02:00
diff --git a/tests/PHPStan/Reflection/data/unionTypes.php b/tests/PHPStan/Reflection/data/unionTypes.php
@@ -2,6 +2,7 @@
 
 namespace NativeUnionTypes;
 
+use function PHPStan\Analyser\assertNativeType;
 use function PHPStan\Analyser\assertType;
 
 class Foo
@@ -13,6 +14,7 @@ public function doFoo(int|bool $foo): self|Bar
 	{
 		assertType('bool|int', $foo);
 		assertType('bool|int', $this->fooProp);
+		assertNativeType('bool|int', $foo);
 	}
 
 }
@@ -25,6 +27,7 @@ class Bar
 function doFoo(int|bool $foo): Foo|Bar
 {
 	assertType('bool|int', $foo);
+	assertNativeType('bool|int', $foo);
 }
 
 function (Foo $foo): void {

Original file line number	Diff line number	Diff line change
`@@ -2,6 +2,7 @@`
`2`	`2`
`3`	`3`	`namespace NativeUnionTypes;`
`4`	`4`
	`5`	`+use function PHPStan\Analyser\assertNativeType;`
`5`	`6`	`use function PHPStan\Analyser\assertType;`
`6`	`7`
`7`	`8`	`class Foo`
`@@ -13,6 +14,7 @@ public function doFoo(int\|bool $foo): self\|Bar`
`13`	`14`	`{`
`14`	`15`	`assertType('bool\|int', $foo);`
`15`	`16`	`assertType('bool\|int', $this->fooProp);`
	`17`	`+ assertNativeType('bool\|int', $foo);`
`16`	`18`	`}`
`17`	`19`
`18`	`20`	`}`
`@@ -25,6 +27,7 @@ class Bar`
`25`	`27`	`function doFoo(int\|bool $foo): Foo\|Bar`
`26`	`28`	`{`
`27`	`29`	`assertType('bool\|int', $foo);`
	`30`	`+ assertNativeType('bool\|int', $foo);`
`28`	`31`	`}`
`29`	`32`
`30`	`33`	`function (Foo $foo): void {`