Re: Clarification of @trusted attribute?

2013-06-13 Thread Kenji Hara
On Wednesday, 12 June 2013 at 13:09:40 UTC, Gary Willoughby wrote: So would you mark the following with @trusted? The format() function is not @safe but what is @trusted really trying to say? This method is @safe as far as i'm concerned? The arguments make format() @safe? I'm confused.

Clarification of @trusted attribute?

2013-06-12 Thread Gary Willoughby
I know the reason to mark a method as trusted from the docs: Trusted functions are guaranteed by the programmer to not exhibit any undefined behavior if called by a safe function. Generally, trusted functions should be kept small so that they are easier to manually verify. Undefined behavior