checkedint call removal

[Timon Gehr via Digitalmars-d]

On 08/01/2014 11:02 AM, Walter Bright wrote:
> On 7/31/2014 11:24 PM, "Ola Fosheim Grøstad"
> <ola.fosheim.grostad+dlang at gmail.com>" wrote:
>> On Friday, 1 August 2014 at 02:44:51 UTC, Walter Bright wrote:
>>>> That entry makes no mention of assert being used as an optimization
>>>> hint.
>>>>
>>> Saying that a predicate is always true means it's available to the
>>> optimizer.
>>
>> An assert does not say that the predicate is always true.
>
> Yes, it does. From Meyers' comprehensive tome on the topic
> "Object-Oriented Software Construction" (1997) where he writes:
>
> "A run-time assertion violation is the manifestation of a bug in the
> software."
>
>      -- pg. 346
>
> In fact, Meyers calls it "rule (1)" of assertions.

Sure, and _Meyer_'s "rule (1)" of software must therefore be that it 
contains no bugs, no?