... because it doesn't execute aenter and aexit in the same underlying Trio task. You get a super inscrutable chain of AssertionErrors. Not sure how feasible this is to fix, but I ran into it today in my first attempt to use trio-asyncio for something real.