Non overlapping inclusion check for literal types

Right now mypy spots an error on the first if condition but it would be great if it could also complain on the second one which seems a better expression of the first test:

from typing import Literal

literal_t = Literal['a', 'b', 'c']
x: literal_t = 'b'
if x == 'a' or x == 'd': ... 
if x in ('a', 'd'): ...

mypy version:

$ mypy --version
mypy 0.920+dev.bbea3b56297d3d966b9a98900c218df6616fec85

Reproduce el problema con el fragmento de Python y la versión de mypy proporcionados; después, localiza el diagnóstico existente para las comprobaciones de igualdad y el tratamiento de las expresiones in. Se considera completado cuando mypy informa de la condición equivalente de tipos literales no superpuestos para la forma de pertenencia a una tupla sin hacer que falle la comprobación existente.