Example: ```Python T = (int, int) x : object if isinstance(x, T): reveal_type(x) # Revealed type is 'builtins.object' x + x # E: Unsupported left operand type for + ("object") ``` This was introduced in #2995