expect errors

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-14213.php

@@ -6,7 +6,27 @@
 
 class HelloWorld
 {
-	public static function coalesce_int_range(): void
+	public static function coalesce_nonsensical(): void
+	{
+		$x0 = $x1 = $x2 = null;
+
+		if (rand(0, 1)) {
+			$x0 = rand(0, 1);
+			$x1 = rand(2, 3);
+			$x2 = rand(4, 5);
+		}
+
+		// either all 3 variables are null, or all have a int-range value
+		$x = (
+			$x0 ??
+			$x1 ??
+			$x2
+		);
+
+		assertType('int<0, 1>|null', $x);
+	}
+
+	public static function coalesce_int_ranges(): void
 	{
 		$x0 = $x1 = $x2 = null;
 

tests/PHPStan/Rules/Variables/NullCoalesceRuleTest.php

@@ -354,7 +354,12 @@ public function testPr4372(): void
 
 	public function testBug14213(): void
 	{
-		$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-14213.php'], []);
+		$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-14213.php'], [
+			[
+				'Variable $x1 on left side of ?? always exists and is always null.',
+				21,
+			],
+		]);
 	}
 
 }