Have you seen PEP 702: Marking deprecations using the type system ? I think this is a similar idea, if I understood properly.
Have you seen PEP 702: Marking deprecations using the type system ? I think this is a similar idea, if I understood properly.