On Sunday, 9 July 2017 at 18:01:08 UTC, Andrei Alexandrescu wrote:
On 07/09/2017 12:19 PM, Steven Schveighoffer wrote:It's no more of a hack than leaving assert(0) in release code.I wouldn't argue that. I do argue it's a hack compared to the principled solution of a bottom type.
I would argue a type hack in the compiler doesn't compare to the principaled use of existing syntax and semantics ;)
-Steve