asserts

Author: staabm

tests/PHPStan/Rules/Variables/NullCoalesceRuleTest.php

@@ -367,8 +367,8 @@ public function testBug13921(): void
 		$this->analyse([__DIR__ . '/data/bug-13921.php'], [
 			[
 				'Offset 0 on non-empty-list<array<string|null>> on left side of ?? always exists and is not nullable.',
-				17
-			]
+				19,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Variables/data/bug-13921.php

@@ -8,30 +8,35 @@
 /** @param list<array<?string>> $x */
 function foo(array $x): void {
 	var_dump($x[0]['bar'] ?? null);
+	assertType("list<array<string|null>>", $x);
 	var_dump($x[0] ?? null);
 }
 
 /** @param non-empty-list<array<?string>> $x */
 function nonEmptyFoo(array $x): void {
 	var_dump($x[0]['bar'] ?? null);
+	assertType("non-empty-list<array<string|null>>", $x);
 	var_dump($x[0] ?? null);
 }
 
 /** @param list<array<?string>> $x */
 function bar(array $x): void {
 	var_dump($x[0] ?? null);
+	assertType("list<array<string|null>>", $x);
 	var_dump($x[0]['bar'] ?? null);
 }
 
 /** @param list<array<?string>> $x */
 function baz(array $x): void {
 	var_dump($x[1] ?? null);
+	assertType("list<array<string|null>>", $x);
 	var_dump($x[0]['bar'] ?? null);
 }
 
 /** @param list<array<?string>> $x */
 function boo(array $x): void {
 	var_dump($x[0]['bar'] ?? null);
+	assertType("list<array<string|null>>", $x);
 	var_dump($x[1] ?? null);
 }
 
@@ -46,5 +51,6 @@ function doBar(array $array)
 /** @param list<SimpleXMLElement> $x */
 function sooSimpleElement(array $x): void {
 	var_dump($x[0]['bar'] ?? null);
+	assertType("list<SimpleXMLElement>", $x);
 	var_dump($x[0] ?? null);
 }