On Thursday, 12 April 2018 at 06:08:39 UTC, Kagamin wrote:
On Wednesday, 11 April 2018 at 20:45:15 UTC, Dmitry Olshansky
* 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
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.