On 2/6/2015 8:19 AM, John Colvin wrote:
Is that what we want? I can't see why not, but it feels off somehow... Effectively you've got @trusted blocks in an @trusted function, just inverted.
Right. It just inverted the interface problem, the problem remains. So, no for this idea.
Another way to say it: @safe => @trusted must go through a safe interface @trusted => @safe must go through a safe interface