```python class MyList(list[int]): ... def test(x: MyList, y: list[int]) -> None: reveal_type( [*x] ) # list[Any] ❌ reveal_type( [*y] ) # list[int] ✅ ``` `[*x]` should infer as `list[int]`. https://mypy-play.net/?mypy=latest&python=3.12&gist=5ed11116bf41c5aa803adc3f9333a125