Hi folks,
The review of SE-0319: Never as Identifiable has concluded and the proposal has been accepted .
Feedback from the review was positive, and mostly focused on further exploration of making Never a true bottom type, or similar alternatives to expanding the list of protocols Never conforms to in a systemic manner. The core team acknowledges this is an interesting design space and encourages follow up proposals exploring it.
Thank you to everyone who participated in the review!
Tom Doron,
Review Manager