from typing import Sequence, TypedDict class TD(TypedDict): x: int seq: Sequence[TD] = ({"x": 0},) # pyrefly: `tuple[dict[str, int]]` is not assignable to `Sequence[TypedDict[TD]]` This passes both ...