fix

Author: hauntsaninja

mypy/checker.py

@@ -8311,6 +8311,7 @@ def conditional_types(
                 proposed_type_ranges,
                 default=union_item,
                 consider_runtime_isinstance=consider_runtime_isinstance,
+                ignore_promotions=ignore_promotions,
             )
             for union_item in get_proper_types(proper_type.items)
         ]

test-data/unit/check-narrowing.test

@@ -3272,7 +3272,7 @@ TargetType = TypeVar("TargetType", int, float, str)
 def convert_type(target_type: Type[TargetType]) -> TargetType:
     if target_type == str:
         return str()
-    if target_type == int:s
+    if target_type == int:
         return int()
     if target_type == float:
         return float()
@@ -3293,10 +3293,14 @@ def f2(number: float, five: Literal[5]):
     if number == five:
         reveal_type(number)  # N: Revealed type is "Literal[5]"
 
+def f3(number: float | None, i: int):
+    if number == i:
+        reveal_type(number)  # N: Revealed type is "builtins.int"
+
 class Custom:
     def __eq__(self, other: object) -> bool: return True
 
-def f3(number: float, x: Custom | int):
+def f4(number: float, x: Custom | int):
     if number == x:
         reveal_type(number)  # N: Revealed type is "builtins.float"
         reveal_type(x)  # N: Revealed type is "__main__.Custom | builtins.int"