[Regression 1.19.1 -> 1.20.0] `value in container` based narrowing causes false negatives.

mypy seems to narrow the type of value in a if value in container branch, which leads to false negatives.

class Size(tuple[int, ...]):
    def numel(self) -> int:
        return 0  # math.prod(self)

sizes: list[Size] = [Size([1, 2, 3])]
print(sizes[0].numel())  # OK
value = (1, 2, 3)
if value in sizes:
    reveal_type(value)  # mypy: Size; pyright, ty, zuban, pyrefly: tuple
    print(value.numel())  # ERROR at runtime

• with 1.19.1, mypy reveals tuple[int, int, int] and correctly errors. https://mypy-play.net/?mypy=1.19.1&python=3.12&gist=12a961d6aab6b40ee13d895ab9ce037b
• with 1.20.0 onwards, mypy reveals Size and produces a false negative. https://mypy-play.net/?mypy=1.20.0&python=3.12&gist=76665c3096babff2c683164fdae02dbc

Inizia riproducendo la differenza di narrowing nell'esempio mypy-play collegato con le versioni 1.19.1 e 1.20.0, quindi traccia la gestione di value in sizes e del tipo rivelato. Aggiungi un test di regressione per l'esempio con Size e la tupla e conferma che mypy mantenga il tipo della tupla e segnali la chiamata non valida a numel().