Is it though? Was this implemented recently? Where can I see it in the codebase? Based on the text of SE-0327 I was under impression that this is not the case yet. And in [Pitch #2] SE-0371 Isolated & async deinit I'm suggesting this as a follow-up. So if it is already updated, I should update the proposal text.