How to get typehints for this kind of equality test?

[ghsanti]

I might be doing something wrong, but trying this code:

def a()->Literal['a','b','c']:
    return 'a'

if a()=='x':
    print('x')

it does not show an error, not does it with anything else replaced on 'x' like { } probably just uses string for the typehint.
Playground link here.

I expect that we could get typehint both for different literals, and for different data types.

[erictraut]

If you would like pyright to detect condition tests where the operands appear to have no type overlap, you can enable the reportUnnecessaryComparison check. This check is not enabled by default.

[ghsanti]

thanks, yeah at least in some cases it would be the only way to catch a typo.