void () { doTestByText(""" from typing import TypeVar, LiteralString TLiteral = TypeVar("TLiteral", bound=LiteralString) def literal_identity(s: TLiteral) -> TLiteral: return s s: LiteralString y2 = literal_identity(s) """); }