SE-0352 (second review): Implicitly Opened Existentials

Evolution Proposal Reviews

John_McCall (John McCall) Split this topic April 22, 2022, 6:05pm 3

2 posts were merged into an existing topic: SE-0352: Implicitly Opened Existentials