Should non-overlapping comparisons allowed in assertions?

The following assertion generates an error when using --strict-equality, but perhaps it should be allowed, since an assertion can test something that should be impossible?

from typing import List

def f(x: List[int]) -> None:
    assert 'foo' not in x  # Error, but should this be okay?
    ...

I saw a few examples similar to the above in production code and had to use # type: ignore[...] with them, which didn't feel optimal.

@ilevkivskyi What do you think?

Der Issue nennt keine Datei und keinen Test; reproduziere zunächst das Beispiel mit --strict-equality und verfolge die Assertion-Prüfung, die den Vergleichsfehler meldet. Entscheide, ob eine unmögliche Membership-Assertion akzeptiert werden sollte, und definiere anschließend das erwartete Diagnoseverhalten und die Abdeckung für den gezeigten Fall List[int].