On Tuesday, 15 January 2019 at 10:59:40 UTC, Johan Engelen wrote: > > Not being able to specify a function never returning is just a > very minor shortcoming. > > -Johan +1 for all this. And the name for this in other language is "no return"