Nathaniel Smith <n...@pobox.com> added the comment:

Interesting case! This is super subtle. I think the patch is correct though.

(In Trio this is one of the cases where we use shielding: 
https://github.com/python-trio/trio/blob/f48d8922dfe2118bfaaf9a85f2524e58146ba369/trio/_sync.py#L749-L752
 . But asyncio.shield has different semantics -- it still delivers the 
CancelledError to the caller, which is no good in this case.)

----------
nosy: +njs

_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue32841>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to