Please consider PEP806 – Mixed sync/async context managers with precise async marking
https://peps.python.org/pep-0806/
This is a pretty small change, introducing precisely targeted new syntax which desugars straightforwardly to existing semantics, but I'd really like to get it into Python 3.15 🙂