On Wed, Oct 03, 2012 at 03:07:14AM +0200, Andrej Mitrovic wrote: > On 10/3/12, Jakob Ovrum <jakobov...@gmail.com> wrote: > > writefln cannot be @safe if it has to support an unsafe format > > specifier. It's "hidden" because it affects every call to writefln, > > even if it doesn't use the unsafe format specifier. [...]
Hmm, this seems to impose unnecessary limitations on @safe. I guess the current language doesn't allow for a "conditionally-safe" tag where something can be implicitly marked @safe if it's provable at compile-time that it's safe? T -- Elegant or ugly code as well as fine or rude sentences have something in common: they don't depend on the language. -- Luca De Vitis