@trust is an encapsulation method, not an escape

[Tobias Pankrath via Digitalmars-d]

On Friday, 6 February 2015 at 16:40:10 UTC, David Nadlinger wrote:
>
> This still does not solve the template inference problem 
> though, unless you make it a "non- at trusted" block instead of 
> requiring @safe-ty.

Don't understand. If that matters, the code shouldn't be marked 
@trusted
in the first place.

> 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.
>
> David

How?