Rework

VincentLanglet · VincentLanglet · commit 540c4dddd752 · 2026-04-12T11:28:57.000+02:00
diff --git a/tests/PHPStan/Analyser/nsrt/pr-5445.php b/tests/PHPStan/Analyser/nsrt/pr-5445.php
@@ -1,6 +1,6 @@
 <?php
 
-namespace BugTypeSpecifier;
+namespace BugPr5445;
 
 use function PHPStan\Testing\assertType;
 
@@ -14,6 +14,9 @@ function testTriviallyTrueConditionSkipped(array $aggregation, string $type): vo
 		return;
 	}
 
+	assertType("array<string, mixed>", $aggregation);
+	assertType('non-falsy-string', $type);
+
 	if ($type !== 'filter') {
 		assertType("array<string, mixed>", $aggregation);
 	}

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`<?php`
`2`	`2`
`3`		`-namespace BugTypeSpecifier;`
	`3`	`+namespace BugPr5445;`
`4`	`4`
`5`	`5`	`use function PHPStan\Testing\assertType;`
`6`	`6`
`@@ -14,6 +14,9 @@ function testTriviallyTrueConditionSkipped(array $aggregation, string $type): vo`
`14`	`14`	`return;`
`15`	`15`	`}`
`16`	`16`
	`17`	`+ assertType("array<string, mixed>", $aggregation);`
	`18`	`+ assertType('non-falsy-string', $type);`
	`19`	`+`
`17`	`20`	`if ($type !== 'filter') {`
`18`	`21`	`assertType("array<string, mixed>", $aggregation);`
`19`	`22`	`}`