Skip to content

Commit 06925a8

Browse files
phpstan-botclaude
andcommitted
Add test cases for int-range and non-empty-string value types in array intersection
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent 3ba8784 commit 06925a8

1 file changed

Lines changed: 12 additions & 0 deletions

File tree

tests/PHPStan/Analyser/nsrt/bug-11234.php

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -53,3 +53,15 @@ function testIntersectBoolConstantUnion(mixed $u): void
5353
{
5454
assertType('array{bool, string}', $u);
5555
}
56+
57+
/** @param array{int<0, 3>, int|Payload|string|null}&array{int, Payload} $x */
58+
function testIntersectIntRangeValue(mixed $x): void
59+
{
60+
assertType('array{int<0, 3>, Bug11234\Payload}', $x);
61+
}
62+
63+
/** @param array{non-empty-string, int|Payload|string|null}&array{string, Payload} $x */
64+
function testIntersectNonEmptyStringValue(mixed $x): void
65+
{
66+
assertType('array{non-empty-string, Bug11234\Payload}', $x);
67+
}

0 commit comments

Comments
 (0)