Strict equality for literals

[vadimcn]

Is it possible to have Pyright detect bogus comparisons with literals? For example:

OS = Literal['Linux', 'Darwin', 'Windows']
os: OS = 'Linux'

# Sometime later
if os == 'linux':
    ...

I don't want to declare OS as enum, because an existing API uses strings.

[erictraut]

This is a good suggestion. I've created a feature request using your example: #1674