void () { doTest("LiteralString", """ from typing_extensions import LiteralString name: LiteralString = "foo" age: LiteralString = "42" string: LiteralString = "Hello, {name}. You are {age}" expr = string.format(name=name.capitalize(), age=age)"""); doTest("str", """ from typing_extensions import LiteralString name: LiteralString = "foo" age = str(42) string: LiteralString = "Hello, {name}. You are {age}" expr = string.format(name=name.capitalize(), age=age)"""); }