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?

The issue names no file or test; first reproduce the example with --strict-equality and trace the assertion check that reports the comparison error. Decide whether an impossible membership assertion should be accepted, then define the expected diagnostic behavior and coverage for the shown List[int] case.