Add tests

VincentLanglet · VincentLanglet · commit 2d316412690c · 2023-06-20T14:15:46.000+02:00
diff --git a/tests/PHPStan/Analyser/data/bug-8803.php b/tests/PHPStan/Analyser/data/bug-8803.php
@@ -17,4 +17,11 @@ public function sayHello(): void
 			assertType('int<2, 21>', $value);
 		}
 	}
+
+	public function testWithMixed(mixed $a, mixed $b): void
+	{
+		assertType('(array|float|int)', $a + $b);
+		assertType('(float|int)', 3 + $b);
+		assertType('(float|int)', $a + 3);
+	}
 }

Original file line number	Diff line number	Diff line change
`@@ -17,4 +17,11 @@ public function sayHello(): void`
`17`	`17`	`assertType('int<2, 21>', $value);`
`18`	`18`	`}`
`19`	`19`	`}`
	`20`	`+`
	`21`	`+ public function testWithMixed(mixed $a, mixed $b): void`
	`22`	`+ {`
	`23`	`+ assertType('(array\|float\|int)', $a + $b);`
	`24`	`+ assertType('(float\|int)', 3 + $b);`
	`25`	`+ assertType('(float\|int)', $a + 3);`
	`26`	`+ }`
`20`	`27`	`}`