d的无中2.

单位类型=大小0,1个可能值.
底部类型=大小0,0个可能的值.
0个可能值原因是因为它是底部类型,而不是因为大小为0.

alias x = noreturn.init;

你不能alias表达,所以上面格式不正确
这将是编译时错误,原因与默认初化@disabled的构造函数类型一样.
默认初化T类型变量需要确定T默认值的内存表示.
生命周期开始时,在变量内存中安排该表示.
无中无默认值.无放的位置,也没内容.