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. -- Andrei