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?

Issue ではファイルもテストも指定されていないため、まず --strict-equality を使って例を再現し、比較エラーを報告する assertion check を追跡してください。不可能な membership assertion を受け入れるべきかを判断し、その後、示されている List[int] のケースに対する期待される診断動作とカバレッジを定義してください。