Assume PEP 649 is perfectly implemented for any example left here and there’s a scenario that does not work as coded. Workarounds are just illustrating how to deal with the issue today and are simply a way to help illustrate further why an edge case is problematic.
If you’re not sure about PEP 649 semantics, I’m sure @larry and other folks can clarify.
That’s covered by my opening edge case around recursive types.