test implode() resolves unions with bool

staabm · staabm · commit b1c847ec8945 · 2025-01-11T16:29:09.000+01:00
diff --git a/tests/PHPStan/Analyser/nsrt/implode.php b/tests/PHPStan/Analyser/nsrt/implode.php
@@ -51,4 +51,9 @@ public function constArrays5($constArr) {
 	public function constArrays6($constArr) {
 		assertType("string", implode('', $constArr));
 	}
+
+	/** @param array{10: 1|2|bool, xy: 'a'|'b'|'c'} $constArr */
+	public function constArrays7($constArr) {
+		assertType("'1a'|'1b'|'1c'|'2a'|'2b'|'2c'|'a'|'b'|'c'", implode('', $constArr));
+	}
 }

Original file line number	Diff line number	Diff line change
`@@ -51,4 +51,9 @@ public function constArrays5($constArr) {`
`51`	`51`	`public function constArrays6($constArr) {`
`52`	`52`	`assertType("string", implode('', $constArr));`
`53`	`53`	`}`
	`54`	`+`
	`55`	`+ /** @param array{10: 1\|2\|bool, xy: 'a'\|'b'\|'c'} $constArr */`
	`56`	`+ public function constArrays7($constArr) {`
	`57`	`+ assertType("'1a'\|'1b'\|'1c'\|'2a'\|'2b'\|'2c'\|'a'\|'b'\|'c'", implode('', $constArr));`
	`58`	`+ }`
`54`	`59`	`}`