<div dir="ltr"><div>The following names were suggested: NoReturn, Bottom, None, Never.<br></div><div>I would pick None, because it looks like opposite to Any and fits nicely in generic types.</div><div><br></div><div>I would prefer the type to be simple, and be implemented as a case-less enum (not a bottom value, as in Haskell).<br></div><div><br></div><div>None should be a usual enum, with no compiler magic except that functions returning None are equivalent to current @noreturn.</div><div><br></div><div>Example 1.</div><div>let x: None?</div><div>// ...</div><div>let y = x!</div><div><br></div><div>It will trap in runtime not because we discover scary bottom thing, as in Haskell, but because x had value Optional.none at that moment and we asserted otherwise.</div><div>We could prove that it is always true in this case, but compiler must be stupid about this.</div><div><br></div><div>Example 2.</div><div>Compiler should allow including None in structures. Error will show up in constructor, when we will not be able to initialize the field.</div><div><br></div><div>Example 3.</div><div>None in an enum case makes that case never appear in values of such a type. But compiler can not know about that.<br></div><div><br></div><div>- Anton</div></div>