[phobos] phobos commit, revision 1534

[Andrei Alexandrescu]

On 05/22/2010 12:58 PM, SHOO wrote:
> Do you mean that don't mark @trusted without thought, and should mark
> @system if it have any risk? (For example, precision loss for cast, or
> pointer operation)

Yes. Essentially @trusted from a client's perspective is just like 
@safe. When in doubt, err on the side of @system, not @trusted.

The classic model of safe programming is Java's - class-based, 
garbage-collected, no true templates. We all need to think a lot on how 
that translates to template functions.


Andrei