Should typeshed make get_args(Literal[foo]) return a tuple[Literal[foo], ...]?

[gandhis1]

Or alternatively, an exact tuple if TypeVarTuple works here,

For example, this code (https://mypy-play.net/?mypy=latest&python=3.12&gist=1b1c487962219b0571c1b31889abac91):

from typing import Literal, get_args

MyType = Literal["foo", "bar", "baz"]

contents = get_args(MyType)
reveal_type(contents)  # This returns a tuple[Any, ...] but shouldn't this be a tuple[MyType, ...] or better yet a tuple[MyType, MyType, MyType]?

[JelleZijlstra]

If you can find a way to make this work, go for it, but I am not sure it's possible.