Re: @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.