On 7/8/2017 5:17 AM, Andrei Alexandrescu wrote:
None ThisFunctionExits();The compiler detects (without having anything hardwired about the particular type "None") that the type None is impossible to create and copy/move from a function, and therefore decrees the function will never return.
That is a scathingly brilliant idea. It has another nice effect - the compiler doesn't have to diagnose:
@noreturn int foo(); as an error! Me like.
