Revert changes to the targeted fix

calm329 · calm329 · commit 419c936ed6a9 · 2026-01-06T15:41:53.000-08:00
diff --git a/mypy/checker.py b/mypy/checker.py
@@ -7072,6 +7072,8 @@ def refine_away_none_in_comparison(
         non_optional_types = []
         for i in chain_indices:
             typ = operand_types[i]
+            if isinstance(get_proper_type(typ), AnyType):
+                continue
             if not is_overlapping_none(typ):
                 non_optional_types.append(typ)
 
diff --git a/mypy/types_utils.py b/mypy/types_utils.py
@@ -123,7 +123,7 @@ def is_generic_instance(tp: Type) -> bool:
 
 def is_overlapping_none(t: Type) -> bool:
     t = get_proper_type(t)
-    return isinstance(t, (NoneType, AnyType)) or (
+    return isinstance(t, NoneType) or (
         isinstance(t, UnionType) and any(isinstance(get_proper_type(e), NoneType) for e in t.items)
     )
 

Original file line number	Diff line number	Diff line change
`@@ -123,7 +123,7 @@ def is_generic_instance(tp: Type) -> bool:`
`123`	`123`
`124`	`124`	`def is_overlapping_none(t: Type) -> bool:`
`125`	`125`	`t = get_proper_type(t)`
`126`		`- return isinstance(t, (NoneType, AnyType)) or (`
	`126`	`+ return isinstance(t, NoneType) or (`
`127`	`127`	`isinstance(t, UnionType) and any(isinstance(get_proper_type(e), NoneType) for e in t.items)`
`128`	`128`	`)`
`129`	`129`