See https://discuss.python.org/t/pep-702-marking-deprecations-using-the-type-system/23036/53?u=jelle I don't want to prescribe the exact behavior on tools and IDEs; they can figure out for themselves what works best. This change is intended to make it so they can adjust the message without worrying that they are breaking the specification.