On 1/14/2020 3:53 AM, IGotD- wrote: > Correct me if I'm wrong, what I've understood in the text is that making > "nothrow" the default is also a goal which is not covered in this DIP but > perhaps in a future DIP. That is the plan. It has no flesh at the moment.