SE-0352 (second review): Implicitly Opened Existentials

Thanks for your help reviewing this proposal, everyone! The core team has decided to accept this proposal with the discussed revisions.

3 Likes