narrowing should work on values that are arent literals if their type is @final

[KotlinIsland]

def f(a: int | None, b: int):
    if a == b:
        reveal_type(a)  # int | None
    if b == a:
        reveal_type(a)  # int | None

[DetachHead]

the issue is actually that it only narrows literals:

def f(a: int | None, b: int):
    if a == 1:
        reveal_type(a)  # Literal[1]
    if a == b:
        reveal_type(a)  # int | None

upstream issue: microsoft/pyright#8065

[DetachHead]

actually this would be unsafe because a subtype of int could define a custom __eq__. so this should only work if the class is @final

[DetachHead]

narrowing with is instead of == should also work because it doesn't use __eq__