"I told you so": noreturn sucks a leech and has virtually no utility

[Basile B.]

On Friday, 15 October 2021 at 18:28:37 UTC, Kagamin wrote:
> Hm? Isn't it a backend feature? How it complicates the language?

No, you can use it everywhere a Type can be used: cast to type, 
TemplateTypeParameter, VarDeclaration type, etc. And most of the 
time this is obviously not useful and has to be rejected, i.e 
during the semantic, i.e by the front-end.

So far this is not enirely done, which creates cases of ICE in 
the backend.