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

提供された Python スニペットと mypy のバージョンで問題を再現し、次に等価性チェック用の既存の診断と in 式の処理箇所を特定します。完了条件は、既存のチェックを後退させることなく、タプルメンバーシップ形式について、重複しないリテラル型の同等の条件を mypy が報告することです。