I sure do hope Arbitrary Literal String Type (https://peps.python.org/pep-0675/ https://peps.python.org/pep-0675/) solves the problem they think it does and doe

I sure do hope Arbitrary Literal String Type (https://peps.python.org/pep-0675/ https://peps.python.org/pep-0675/) solves the problem they think it does and doesn't drive every typechecker in the world stark-raving mad literal_name: LiteralString expect_literal_string(f"hello {literal_name}") # OK because it is composed from literal strings. Maybe I'm being too cynical and this is laying the groundwork for py4000 where they will type check at runtime