Add regression test for phpstan/phpstan#3312

takaram · Jan 27, 2024 · c2e62bd · c2e62bd
1 parent ca920eb
commit c2e62bd
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -1420,6 +1420,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10264.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/conditional-vars.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/sort.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3312.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5961.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10189.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10317.php');

diff --git a/tests/PHPStan/Analyser/data/bug-3312.php b/tests/PHPStan/Analyser/data/bug-3312.php
@@ -0,0 +1,12 @@
+<?php declare(strict_types=1);
+
+namespace Bug3312;
+
+use function PHPStan\Testing\assertType;
+
+function sayHello(): void
+{
+	$arr = ['one' => 'een', 'two' => 'twee', 'three' => 'drie'];
+	usort($arr, 'strcmp');
+	assertType("non-empty-list<'drie'|'een'|'twee'>", $arr);
+}