Negated class_exist check on class-string converts to string instead …

…of mixed
vimeo · Oct 8, 2023 · 1d2b9c6 · 1d2b9c6
1 parent 69d5881
commit 1d2b9c6
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Type/NegatedAssertionReconciler.php b/src/Psalm/Internal/Type/NegatedAssertionReconciler.php
@@ -122,6 +122,11 @@ public static function reconcile(
             $existing_var_type->removeType('array');
         }
 
+        if ($assertion instanceof IsNotType && $assertion_type instanceof TClassString) {
+            $existing_var_type->removeType(TClassString::class);
+            $existing_var_type->addType(new TString);
+        }
+
         if (!$is_equality
             && isset($existing_var_atomic_types['int'])
             && $existing_var_type->from_calculation