Can pyright report unreachable code from a typing point of view?

[diepala]

Could pyright report unreachable code like the following inside the if clause?

def foo(mode: Literal["A", "B"]):
    if mode == 'C':
        print('Not reachable')

I understand that the code can be reachable at runtime, but maybe pyright could give an info message reporting this case.

[Molkree]

You will get another diagnostic message from Pyright in this case, is it not enough? It's not enabled by default though.

"Condition will always evaluate to False since the types "Literal['A', 'B']" and "Literal['C']" have no overlap"
Pyright[reportUnnecessaryComparison]

[diepala]

Thanks, I did not know that option