On Thursday, 8 October 2020 at 20:52:29 UTC, Stefan Koch wrote: > the initial value of an alias variable is now ∅ The Empty type. Just for my understanding: Is this empty type something you defined? And would it be equivalent to the planned new bottom type (noreturn)?