assume, assert, enforce, @safe

[Ary Borenszweig via Digitalmars-d]

On 7/31/14, 4:37 AM, Walter Bright wrote:
> On 7/30/2014 4:05 PM, Ary Borenszweig wrote:
>> On 7/30/14, 7:01 PM, Walter Bright wrote:
>>> I'd like to sum up my position and intent on all this.
>>>
>>> 7. using enforce() to check for program bugs is utterly wrong. enforce()
>>> is a library creation, the core language does not recognize it.
>>
>> What do you suggest to use to check program bugs?
>
> assert()

Then you are potentially releasing programs with bugs that are of 
undefined behavior, instead of halting the program immediately.