@trusted and return ref

[Kagamin via Digitalmars-d-learn]

On Thursday, 26 February 2015 at 20:56:52 UTC, Ola Fosheim 
Grøstad wrote:
> Well, but @safe code is not verified either... It is inferred 
> @safe based on a fixed set of criterions, but not verified. To 
> verify you need more, and you have to start with strong typing.

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