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

[Timon Gehr]

On 10/15/21 8:52 PM, Basile B. wrote:
> 
> 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.

I don't think rejecting everything that's "obviously not useful" is the 
right approach. It just causes headaches for generic code.