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?

L’issue ne nomme aucun fichier ni test ; commencez par reproduire l’exemple avec --strict-equality et suivez la vérification de l’assertion qui signale l’erreur de comparaison. Déterminez si une assertion d’appartenance impossible doit être acceptée, puis définissez le comportement de diagnostic attendu et la couverture pour le cas List[int] présenté.