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 non indica alcun file o test; prima riproduci l’esempio con --strict-equality e segui il controllo dell’asserzione che segnala l’errore di confronto. Decidi se un’asserzione di appartenenza impossibile debba essere accettata, quindi definisci il comportamento diagnostico previsto e la copertura per il caso List[int] mostrato.