```python def main(): t: tuple[i32, str] t = (1, 2) main() ``` This will generate an ASR, but actually should give an error that the second element is expected to be of `str` type.