Feedback Thread: DIP 1034--Add a Bottom Type (reboot)--Final Review

[Paul Backus]

On Tuesday, 22 September 2020 at 12:17:09 UTC, Mike Parker wrote:
> This is the feedback thread for the Final Review of DIP 1034, 
> "Add a Bottom Type (reboot)".

 From the DIP:

>  * A union has the size of the largest member. Adding a 
> noreturn field to a union never increases the size, so its size 
> is 0.

Currently, all structs and unions must have .init values that are 
computable at compile time, which means that adding a noreturn 
field would have to be a compile-time error, since it makes the 
.init value impossible to compute. You should probably specify in 
the section about `noreturn.init` than any aggregate with a 
noreturn field also has no .init value.