```python X = Annotated[int, ""] print(isinstance(1, X)) ``` The above code generates a runtime error, but pyright doesn't detect it.