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

fix wrong assertion

Browse Source
This commit is contained in:
orklah 2021-09-13 19:24:49 +02:00
parent 3d7dc740c2
commit 086d3777eb
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1695,7 +1695,6 @@ class SimpleNegatedAssertionReconciler extends Reconciler
if (!$new_range->contains($atomic_type->value)) {
//emit an issue here in the future about incompatible type
$existing_var_type->removeType($atomic_type->getKey());
$existing_var_type->addType($new_range);
} /*elseif ($inside_loop) {
//when inside a loop, allow the range to extends the type
$existing_var_type->removeType($atomic_type->getKey());
@ -1741,7 +1740,6 @@ class SimpleNegatedAssertionReconciler extends Reconciler
if (!$new_range->contains($atomic_type->value)) {
//emit an issue here in the future about incompatible type
$existing_var_type->removeType($atomic_type->getKey());
$existing_var_type->addType($new_range);
}/* elseif ($inside_loop) {
//when inside a loop, allow the range to extends the type
$existing_var_type->removeType($atomic_type->getKey());