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

Update DateTimeInterface type reconciliation

Browse Source
This commit is contained in:
Jack Robertson 2021-07-26 13:41:52 +01:00
parent 8bec5fc743
commit 0e6160c1e0
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/Psalm/Internal/Type/NegatedAssertionReconciler.php
View File

@ -208,6 +208,21 @@ class NegatedAssertionReconciler extends Reconciler
return $existing_var_type;
}
if (!$is_equality
&& ($assertion === 'DateTime' || $assertion === 'DateTimeImmutable')
&& isset($existing_var_atomic_types['DateTimeInterface'])
) {
$existing_var_type->removeType('DateTimeInterface');
if ($assertion === 'DateTime') {
$existing_var_type->addType(new TNamedObject('DateTimeImmutable'));
} else {
$existing_var_type->addType(new TNamedObject('DateTime'));
}
return $existing_var_type;
}
if (strtolower($assertion) === 'traversable'
&& isset($existing_var_atomic_types['iterable'])
) {