allow use of an empty reconciliation if the type is from docblock

vimeo · Feb 13, 2022 · 093d9b2 · 093d9b2
1 parent aaf34d7
commit 093d9b2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Psalm/Internal/Type/NegatedAssertionReconciler.php b/src/Psalm/Internal/Type/NegatedAssertionReconciler.php
@@ -298,7 +298,9 @@ public static function reconcile(
 
             $failed_reconciliation = Reconciler::RECONCILIATION_EMPTY;
 
-            return Type::getNever();
+            return $existing_var_type->from_docblock
+                ? Type::getMixed()
+                : Type::getNever();
         }
 
         return $existing_var_type;