Some string `in` `Union[bytes, str]` does not produce an error

Given the following code

from typing import Union

foo: Union[str, bytes]  
"zoo" in foo  # no error
"zoo" + foo  # err: Unsupported operand types for + ("str" and "bytes")

I would have expected that mypy complains about str not compatible with bytes just like it does for the + operand.

I've tried the current typeshed version at 3d140160 because it just looked like there was a change here in Oct 2020 after mypy 0.790.

For example it now defines for class(str):

    def __contains__(self, o: Union[str, str]) -> bool: ...  # type: ignore
...
    def __iter__(self) -> Iterator[str]: ...

(__contains__ does not trigger here but its Union[str, str] is weird.)

Your Environment

mypy 0.790
python 3.8
builtin typeshed and @3d140160
Win 10

Inizia riproducendo l’esempio Union[str, bytes] con mypy 0.790, quindi esamina le definizioni di typeshed per str.contains e la gestione correlata di Union. Confronta le diagnosi per "zoo" in foo e "zoo" + foo; il lavoro è completato quando l’espressione di contenimento segnala il caso incompatibile str/bytes in modo coerente con l’espressione di addizione.