more tests

Author: staabm

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -248,6 +248,7 @@ private static function findTestFiles(): iterable
 		yield __DIR__ . '/../Rules/Classes/data/bug-11591-property-tag.php';
 		yield __DIR__ . '/../Rules/Classes/data/mixin-trait-use.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/data/bug-13921.php

@@ -2,6 +2,9 @@
 
 namespace Bug13921;
 
+use SimpleXMLElement;
+use function PHPStan\Testing\assertType;
+
 /** @param list<array<?string>> $x */
 function foo(array $x): void {
 	var_dump($x[0]['bar'] ?? null);
@@ -25,3 +28,17 @@ function boo(array $x): void {
 	var_dump($x[0]['bar'] ?? null);
 	var_dump($x[1] ?? null);
 }
+
+function doBar(array $array)
+{
+	if (isset($array['foo'])) {
+		assertType("mixed~null", $array['foo']);
+		assertType("non-empty-array&hasOffsetValue('foo', mixed~null)", $array);
+	}
+}
+
+/** @param list<SimpleXMLElement> $x */
+function sooSimpleElement(array $x): void {
+	var_dump($x[0]['bar'] ?? null);
+	var_dump($x[0] ?? null);
+}