On 6/12/13, Adam D. Ruppe <[email protected]> wrote: > On Wednesday, 12 June 2013 at 20:23:43 UTC, Andrej Mitrovic wrote: >> Are you sure? A compiler can tell whether a function /can/ throw >> (hence why nothrow works), so I assume it has information on >> where an exception is thrown. > > Consider this: > > extern(D) void foo(); > void bar() { foo(); } > > > That's legal D code, and foo could throw anything, and bar would > have no idea what it is.
I thought doing this only for function definitions could make sense. For declarations the user would have to do it manually.
