Literal["abba"] should be a subtype of Sequence[Literal["a", "b"]] #2128
Description
A string literal containing only characters from a given set should be a subtype of Sequence of the union of those literal characters.
from collections.abc import Sequence
from typing import Literal
def func(tags: Sequence[Literal["a", "b"]]) -> None:
pass
func("abba")