Add test

VincentLanglet · VincentLanglet · commit 731fb7c2e06f · 2025-08-09T14:53:43.000+02:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-9734.php b/tests/PHPStan/Analyser/nsrt/bug-9734.php
@@ -44,6 +44,19 @@ public function doFoo3(array $a): void
 		}
 	}
 
+	/**
+	 * @param mixed $a
+	 * @return void
+	 */
+	public function doFoo4($a): void
+	{
+		if (array_is_list($a)) {
+			assertType('list', $a);
+		} else {
+			assertType('mixed~list', $a);
+		}
+	}
+
 }
 
 class Bar

Original file line number	Diff line number	Diff line change
`@@ -44,6 +44,19 @@ public function doFoo3(array $a): void`
`44`	`44`	`}`
`45`	`45`	`}`
`46`	`46`
	`47`	`+ /**`
	`48`	`+ * @param mixed $a`
	`49`	`+ * @return void`
	`50`	`+ */`
	`51`	`+ public function doFoo4($a): void`
	`52`	`+ {`
	`53`	`+ if (array_is_list($a)) {`
	`54`	`+ assertType('list', $a);`
	`55`	`+ } else {`
	`56`	`+ assertType('mixed~list', $a);`
	`57`	`+ }`
	`58`	`+ }`
	`59`	`+`
`47`	`60`	`}`
`48`	`61`
`49`	`62`	`class Bar`