> Is there are a specific reason this implicit exception handler can't be decomposed and implemented using the same opcodes as are used to implement explicit exception handlers?
I don't think it's possible to replace ASYNC_WITH_CLEANUP_EXCEPT opcode with some combination of existing opcodes.
What might be possible is to implement 'async with' without using WITH_CLEANUP_* opcodes at all. Let me try that.