On 2/6/15 8:40 AM, David Nadlinger wrote:
On Friday, 6 February 2015 at 16:11:31 UTC, Andrei Alexandrescu wrote:
On 2/6/15 3:57 AM, Martin Krejcirik wrote:
If I understand it correctly, Walter is against adding trusted blocks
(trusted {...}) into @safe functions. But what about having safe blocks
in @trusted functions ?
That would be sensible - perhaps the best step forward following this
long discussion. -- Andrei
This still does not solve the template inference problem
What is that?
though, unless
you make it a "non-@trusted" block instead of requiring @safe-ty. And
then you'd end up with the—at least to my eyes—rather absurd situation
that a template function that is marked @trusted might actually end up
being @system.
@trusted functions are @system.
Andrei
