proposed @noreturn attribute

[Timon Gehr via Digitalmars-d]

On 11.07.2017 19:27, Meta wrote:
> On Tuesday, 11 July 2017 at 08:29:12 UTC, Timon Gehr wrote:
>> On 10.07.2017 18:23, Meta wrote:
>>> ...
>>> problems with stuff like typeof(null)* etc. because for the most part 
>>> it's just a regular type, unlike Bottom.
>>
>> Bottom is just a regular type.
> 
> It's a regular type with unusual behaviour due to it being uninhabited.

All types are unusual. That does not mean they are not all types.