danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-11 16:59:45 +01:00
Code Issues Projects Releases Wiki Activity

Cleanup

Browse Source
This commit is contained in:
Daniil Gentili 2022-11-26 16:27:32 +01:00
parent 3f710a80af
commit 546f2b325b
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Psalm/Internal/Type/SimpleNegatedAssertionReconciler.php
View File

@ -524,9 +524,7 @@ class SimpleNegatedAssertionReconciler extends Reconciler
if ($array_atomic_type instanceof TKeyedArray) { if ($array_atomic_type instanceof TKeyedArray) {
if ($count !== null) { if ($count !== null) {
$prop_max_count = $array_atomic_type->fallback_params === null $prop_max_count = $array_atomic_type->getMaxCount();
? count($array_atomic_type->properties)
: INF;
$prop_min_count = $array_atomic_type->getMinCount(); $prop_min_count = $array_atomic_type->getMinCount();
// !(count($a) >= 3) // !(count($a) >= 3)
@ -544,7 +542,7 @@ class SimpleNegatedAssertionReconciler extends Reconciler
$existing_var_type->removeType('array'); $existing_var_type->removeType('array');
// Redundant because count($a) < $count always // Redundant because count($a) < $count always
} elseif ($prop_max_count < $count) { } elseif ($prop_max_count && $prop_max_count < $count) {
$redundant = true; $redundant = true;
// Possible // Possible