diff --git a/src/Psalm/Internal/Type/NegatedAssertionReconciler.php b/src/Psalm/Internal/Type/NegatedAssertionReconciler.php index df36f72cbea..d12b5a0f810 100644 --- a/src/Psalm/Internal/Type/NegatedAssertionReconciler.php +++ b/src/Psalm/Internal/Type/NegatedAssertionReconciler.php @@ -99,7 +99,7 @@ public static function reconcile( && strpos($key, '[') === false ) { foreach ($existing_var_type->getAtomicTypes() as $atomic) { - if (!$atomic instanceof TMixed + if (!$existing_var_type->hasMixed() || $atomic instanceof Type\Atomic\TNonEmptyMixed ) { $failed_reconciliation = 2;