Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Normalize specified types before intersection
- Loading branch information
1 parent
9a57d0c
commit 7abb7c9
Showing
5 changed files
with
230 additions
and
6 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,160 @@ | ||
| <?php | ||
|
|
||
| namespace Bug6329; | ||
|
|
||
| use function PHPStan\Testing\assertType; | ||
|
|
||
| /** | ||
| * @param mixed $a | ||
| */ | ||
| function nonEmptyString1($a): void | ||
| { | ||
| if (is_string($a) && '' !== $a || null === $a) { | ||
| assertType('non-empty-string|null', $a); | ||
| } | ||
|
|
||
| if ('' !== $a && is_string($a) || null === $a) { | ||
| assertType('non-empty-string|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || is_string($a) && '' !== $a) { | ||
| assertType('non-empty-string|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || '' !== $a && is_string($a)) { | ||
| assertType('non-empty-string|null', $a); | ||
| } | ||
| } | ||
|
|
||
| /** | ||
| * @param mixed $a | ||
| */ | ||
| function nonEmptyString2($a): void | ||
| { | ||
| if (is_string($a) && strlen($a) > 0 || null === $a) { | ||
| assertType('non-empty-string|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || is_string($a) && strlen($a) > 0) { | ||
| assertType('non-empty-string|null', $a); | ||
| } | ||
| } | ||
|
|
||
|
|
||
| /** | ||
| * @param mixed $a | ||
| */ | ||
| function int1($a): void | ||
| { | ||
| if (is_int($a) && 0 !== $a || null === $a) { | ||
| assertType('int<min, -1>|int<1, max>|null', $a); | ||
| } | ||
|
|
||
| if (0 !== $a && is_int($a) || null === $a) { | ||
| assertType('int<min, -1>|int<1, max>|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || is_int($a) && 0 !== $a) { | ||
| assertType('int<min, -1>|int<1, max>|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || 0 !== $a && is_int($a)) { | ||
| assertType('int<min, -1>|int<1, max>|null', $a); | ||
| } | ||
| } | ||
|
|
||
| /** | ||
| * @param mixed $a | ||
| */ | ||
| function int2($a): void | ||
| { | ||
| if (is_int($a) && $a > 0 || null === $a) { | ||
| assertType('int<1, max>|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || is_int($a) && $a > 0) { | ||
| assertType('int<1, max>|null', $a); | ||
| } | ||
| } | ||
|
|
||
|
|
||
| /** | ||
| * @param mixed $a | ||
| */ | ||
| function true($a): void | ||
| { | ||
| if (is_bool($a) && false !== $a || null === $a) { | ||
| assertType('true|null', $a); | ||
| } | ||
|
|
||
| if (false !== $a && is_bool($a) || null === $a) { | ||
| assertType('true|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || is_bool($a) && false !== $a) { | ||
| assertType('true|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || false !== $a && is_bool($a)) { | ||
| assertType('true|null', $a); | ||
| } | ||
| } | ||
|
|
||
| /** | ||
| * @param mixed $a | ||
| */ | ||
| function nonEmptyArray1($a): void | ||
| { | ||
| if (is_array($a) && [] !== $a || null === $a) { | ||
| assertType('non-empty-array|null', $a); | ||
| } | ||
|
|
||
| if ([] !== $a && is_array($a) || null === $a) { | ||
| assertType('non-empty-array|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || is_array($a) && [] !== $a) { | ||
| assertType('non-empty-array|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || [] !== $a && is_array($a)) { | ||
| assertType('non-empty-array|null', $a); | ||
| } | ||
| } | ||
|
|
||
| /** | ||
| * @param mixed $a | ||
| */ | ||
| function nonEmptyArray2($a): void | ||
| { | ||
| if (is_array($a) && count($a) > 0 || null === $a) { | ||
| assertType('non-empty-array|null', $a); | ||
| } | ||
|
|
||
| if (null === $a || is_array($a) && count($a) > 0) { | ||
| assertType('non-empty-array|null', $a); | ||
| } | ||
| } | ||
|
|
||
| /** | ||
| * @param mixed $a | ||
| * @param mixed $b | ||
| * @param mixed $c | ||
| */ | ||
| function inverse($a, $b, $c): void | ||
| { | ||
| if ((!is_string($a) || '' === $a) && null !== $a) { | ||
| } else { | ||
| assertType('non-empty-string|null', $a); | ||
| } | ||
|
|
||
| if ((!is_int($b) || $b <= 0) && null !== $b) { | ||
| } else { | ||
| assertType('int<1, max>|null', $b); | ||
| } | ||
|
|
||
| if (null !== $c && (!is_array($c) || count($c) <= 0)) { | ||
| } else { | ||
| assertType('non-empty-array|null', $c); | ||
| } | ||
| } |