File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -3297,10 +3297,18 @@ def f3(number: float | None, i: int):
32973297 if number == i:
32983298 reveal_type(number) # N: Revealed type is "builtins.float"
32993299
3300+ def f4(number: float | int, i: int):
3301+ if number == i:
3302+ reveal_type(number) # N: Revealed type is "builtins.float | builtins.int"
3303+
3304+ def f5(number: float | complex, i: int):
3305+ if number == i:
3306+ reveal_type(number) # N: Revealed type is "builtins.float | builtins.complex"
3307+
33003308class Custom:
33013309 def __eq__(self, other: object) -> bool: return True
33023310
3303- def f4 (number: float, x: Custom | int):
3311+ def f6 (number: float, x: Custom | int):
33043312 if number == x:
33053313 reveal_type(number) # N: Revealed type is "builtins.float"
33063314 reveal_type(x) # N: Revealed type is "__main__.Custom | builtins.int"
You can’t perform that action at this time.
0 commit comments