(1, *(2, 3), 4) should be inferred as tuple[Literal[1], Literal[2], Literal[3], Literal[4]], but we currently infer it as tuple[Literal[1], @Todo(StarredExpression), Literal[4]].