Andrei Alexandrescu wrote: > Ellery Newcomer wrote: >> KennyTM~ wrote: >>> throw ...; >>> assert(...); >>> >> >> you can call functions which do these... > > ... which is where the "none"/"bottom" type comes into play! > > Andrei What what?