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?

El issue no menciona ningún archivo ni prueba; primero reproduce el ejemplo con --strict-equality y sigue la comprobación de la aserción que informa del error de comparación. Decide si debería aceptarse una aserción de pertenencia imposible y, a continuación, define el comportamiento de diagnóstico esperado y la cobertura para el caso mostrado de List[int].