more tests

Author: staabm

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -253,6 +253,7 @@ private static function findTestFiles(): iterable
 			yield __DIR__ . '/data/dio-functions.php';
 		}
 
+		yield __DIR__ . '/../Rules/Variables/data/bug-13921.php';
 		yield __DIR__ . '/../Rules/Arrays/data/bug-14234.php';
 		yield __DIR__ . '/../Rules/Arrays/data/bug-11679.php';
 		yield __DIR__ . '/../Rules/Methods/data/bug-4801.php';

tests/PHPStan/Rules/Variables/NullCoalesceRuleTest.php

@@ -364,7 +364,12 @@ public function testBug14213(): void
 
 	public function testBug13921(): void
 	{
-		$this->analyse([__DIR__ . '/data/bug-13921.php'], []);
+		$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
+			]
+		]);
 	}
 
 }

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

@@ -11,6 +11,12 @@ function foo(array $x): void {
 	var_dump($x[0] ?? null);
 }
 
+/** @param non-empty-list<array<?string>> $x */
+function nonEmptyFoo(array $x): void {
+	var_dump($x[0]['bar'] ?? null);
+	var_dump($x[0] ?? null);
+}
+
 /** @param list<array<?string>> $x */
 function bar(array $x): void {
 	var_dump($x[0] ?? null);