`--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

Comienza ejecutando la reproducción reportada en Python con --strict-equality y compara su comprobación de pertenencia con la comprobación de igualdad indexada. Localiza los puntos de entrada de strict-equality y del análisis de pertenencia; después, añade una prueba de regresión que cubra un contenedor de valores Literal. Se considera terminado cuando mypy informa de una comprobación sin solapamiento para la expresión de pertenencia sin hacer que regresen las comprobaciones de pertenencia válidas.