@trusted and return ref

[via Digitalmars-d-learn]

On Friday, 27 February 2015 at 08:34:24 UTC, Kagamin wrote:
>@safe is supposed to provide safety, if you can give an example
> when it doesn't, you can report a bug. There are indeed bugs in 
> implementation of safety, like escaping of local variables, but 
> they are supposed to be fixed eventually.

The bug is in using an approach that does not use proofs.