`--strict-equality` flag not working with membership operator and `Literal` types

Bug Report

When using any container (set, frozenset, list, tuples...) containing Literal based types, the --strict-equality is not detecting any issues when I use the membership operator in a non-overlapping check.

To Reproduce

from typing import Literal

OPTIONS = Literal["a", "b"]
var: list[OPTIONS] = ["a"]
if "c" in var:  # MYPY OK
    pass

Expected Behavior

When the flag --strict-equality is set, I would expect that mypy raises an erorr here. Same as it does when I do a non-overlapping equality check:

from typing import Literal

OPTIONS = Literal["a", "b"]
var: list[OPTIONS] = ["a"]
if var[0] == "c":  #  error: Non-overlapping equality check (left operand type: "Literal['a', 'b']", right operand type: "Literal['c']")  [comparison-overlap]
    pass

Actual Behavior

No errors are raised

Your Environment
Using Mypy version 1.9.0

Inizia eseguendo la riproduzione Python segnalata con --strict-equality e confronta il relativo controllo di appartenenza con il controllo di uguaglianza indicizzato. Individua i punti di ingresso per strict-equality e per l’analisi dell’appartenenza, quindi aggiungi un test di regressione che copra un contenitore di valori Literal. Il lavoro è completato quando mypy segnala un controllo senza sovrapposizioni per l’espressione di appartenenza senza causare regressioni nei controlli di appartenenza validi.