Constrain/narrow literal type with 'in' checks

[KotlinIsland]

from typing import Literal

a: Literal[1, 2, 3] = 2
assert a in (1, 2)
b: Literal[1, 2] = a

error: Incompatible types in assignment (expression has type "Union[Literal[1], Literal[2], Literal[3]]", variable has 
type "Union[Literal[1], Literal[2]]")
    b: Literal[1, 2] = a
                       ^

[prayatharth]

What problem exactly we are facing here ?

[JelleZijlstra]

The report seems clear enough to me. It's a reasonable request; a PR would be welcome.

[hauntsaninja]

Duplicate of #12535