@trusted and return ref

[w0rp via Digitalmars-d-learn]

On Tuesday, 24 February 2015 at 22:37:58 UTC, Ola Fosheim Grøstad 
wrote:
> If this is careful use of @trusted, then I don't see the point 
> of having @trusted at all. What is the purpose? What is it 
> meant to cover? In order for @trusted to make sense in this 
> code segment ( http://dpaste.dzfl.pl/f3d854feede9 ) I would say 
> that the whole class will have to be marked @trusted. Is that 
> possible?

In general, @trusted means "I have proven myself that this code 
is actually safe, eeven though it uses unsafe features." The 
compiler has to be pessimistic and assume that everything which 
can be used unsafely will be used unsafely. @trusted, as it is 
used here, is used to say, "I assure you I have used this in a 
safe manner."

I would like to see @trusted blocks, although I can see Andrei's 
argument of not making it easy to do intentionally.