@trusting generic functions

[Era Scarecrow via Digitalmars-d-learn]

On Saturday, 28 May 2016 at 12:25:14 UTC, Lodovico Giaretta wrote:
> On Saturday, 28 May 2016 at 11:57:09 UTC, Era Scarecrow wrote:
>>     auto doSomethingDumb(T)(ref T t) if(isSafe!(T))
>
> The problem is that T is a type, and I should check for safety 
> of every method of T that I'm using in my function. This does 
> not scale well, and if I change the body of the function to use 
> a new method, I may forget to add it to the isSafe checks.

  Hmmm that doesn't sound right. Safe code can't call unsafe code 
(or it shouldn't), it continues @safe/@trusted all the way down. 
So if you are passed a safe/trusted function, then it shouldn't 
need other checks.

  Or am i reading the question wrong?