danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00
Code Issues Projects Releases Wiki Activity

allow considering a NonEmptyArray where the only offset value is 0 to be contained in a NonEmptyList

Browse Source
This commit is contained in:
orklah 2021-10-07 11:04:46 +02:00
parent 3a2eddf2d7
commit 973da0a91a
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/Psalm/Internal/Type/Comparator/ArrayTypeComparator.php
View File

@ -104,6 +104,23 @@ class ArrayTypeComparator
return !$container_type_part instanceof TNonEmptyList;
}
if ($container_type_part instanceof TNonEmptyList
&& $input_type_part instanceof TNonEmptyArray
&& $input_type_part->type_params[0]->isSingleIntLiteral()
&& $input_type_part->type_params[0]->getSingleIntLiteral()->value === 0
) {
//this is a special case where the only offset value of an non empty array is 0, so it's a non empty list
return UnionTypeComparator::isContainedBy(
$codebase,
$input_type_part->type_params[1],
$container_type_part->type_param,
$input_type_part->type_params[1]->ignore_nullable_issues,
$input_type_part->type_params[1]->ignore_falsable_issues,
$atomic_comparison_result,
$allow_interface_equality
);
}
if ($input_type_part instanceof TList
&& $container_type_part instanceof TList
) {