less precise types

staabm · staabm · commit 2993e19ffe5d · 2025-04-27T13:06:59.000+02:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-12274.php b/tests/PHPStan/Analyser/nsrt/bug-12274.php
@@ -56,8 +56,8 @@ function testKeepNestedListAfterIssetIndex(array $nestedList, int $i, int $j): v
 		assertType('list<list<int>>', $nestedList);
 		assertType('list<int>', $nestedList[$i]);
 		$nestedList[$i][$j] = 21;
-		assertType('non-empty-list<non-empty-list<int>>', $nestedList);
-		assertType('non-empty-list<int>', $nestedList[$i]);
+		assertType('non-empty-list<list<int>>', $nestedList);
+		assertType('list<int>', $nestedList[$i]);
 	}
 	assertType('list<list<int>>', $nestedList);
 }

Original file line number	Diff line number	Diff line change
`@@ -56,8 +56,8 @@ function testKeepNestedListAfterIssetIndex(array $nestedList, int $i, int $j): v`
`56`	`56`	`assertType('list<list<int>>', $nestedList);`
`57`	`57`	`assertType('list<int>', $nestedList[$i]);`
`58`	`58`	`$nestedList[$i][$j] = 21;`
`59`		`- assertType('non-empty-list<non-empty-list<int>>', $nestedList);`
`60`		`- assertType('non-empty-list<int>', $nestedList[$i]);`
	`59`	`+ assertType('non-empty-list<list<int>>', $nestedList);`
	`60`	`+ assertType('list<int>', $nestedList[$i]);`
`61`	`61`	`}`
`62`	`62`	`assertType('list<list<int>>', $nestedList);`
`63`	`63`	`}`