John Regehr on "Use of Assertions"

[Meta]

On Monday, 10 September 2018 at 20:25:21 UTC, Jonathan M Davis 
wrote:
>> I propose:
>>
>> - 'assume': aborts on false condition in debug builds, not 
>> checked in
>>   release builds, used as optimizer hint;
>>
>> - 'insist': aborts on false condition in debug builds, aborts 
>> on false
>>   condition in release builds, used as optimizer hint;
>>
>> - 'uphold': aborts on false condition in debug builds, aborts 
>> on false
>>   condition in release builds, NOT used as optimizer hint;
>>
>> - 'allege': logs error and aborts on false condition in debug 
>> builds,
>>   logs error and continues on false condition in release 
>> builds, NOT
>>   used as optimizer hint;
>
> Honestly, that seems like total overkill

I'm pretty sure that was sarcasm on H. S. Teoh's part. Of course, 
I can't tell for sure due to Poe's Law.