[Python] How to change the list[str] annotation so that it accepts list[LiteralString] too?

I have a function that takes a list of str as an input

def function(names: list[str]) -> None:
for name in names:
print(name)


If I generate the list using the split() function, I end up with an object of type list[LiteralString] so mypy marks it an error

names = "Jürgen Klopp".split()
function(names) # Argument of type "list[LiteralString]" cannot be assigned to parameter "names" of type "list[str]" in function "function"


I would like to know how the LiteralString is expected to be used with lists?

I can build myself a type like

StrListType = list[str] | list[LiteralString]


but this workaround is not needed when using non-listed objects, i.e.,

def fn(name: str):
print(name)

names = "Jürgen Klopp".split()
given_name: LiteralString = names[0]
fn(given_name) # No problems

Continue reading...