DIP 1009 (Add Expression-Based Contract Syntax) Accepted

[Dmitry Olshansky]

On Thursday, 12 April 2018 at 06:08:39 UTC, Kagamin wrote:
> On Wednesday, 11 April 2018 at 20:45:15 UTC, Dmitry Olshansky 
> wrote:
>> * Templates kind of muddy the waters being conpiled with the 
>> flags of caller (another reason why they are a mess). Meaning 
>> they will work with contracts if caller choses to have debug 
>> build.
>
> Template can call user code, but it wasn't tested for it, so 
> the contract should be checked.

What I mean is that for templates calling or not calling 
contracts depends on client code not the library. It’s just one 
consequence of template mechanism that has tons of other issues.