Special type that includes only literal strings.
typing.LiteralString
def run_query(sql: LiteralString) -> None:
...
def caller(arbitrary_string: str, literal_string: LiteralString) -> None:
run_query("SELECT * FROM students") OK
run_query(literal_string) OK
run_query("SELECT * FROM " + literal_string) OK
run_query(arbitrary_string) type checker error
run_query( type checker error
f"SELECT * FROM students WHERE name = {arbitrary_string}"
)