http://d.puremagic.com/issues/show_bug.cgi?id=8713
Don <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |INVALID --- Comment #3 from Don <[email protected]> 2013-07-24 11:19:29 PDT --- This idea has some severe problems. For example, this code currently compiles: --- int foo(int x) { return 1; } auto bar(int x) { if (__ctfe) return foo(x); assert(0); } auto baz(int x) { return bar(x); } ------- But if you changed that to return foo!(x), and defined foo as: template foo(int x) { static if (x == 0) enum foo = 0.0; else enum foo = "abc"; } then baz doesn't have a return type -- the return type of baz(0) is different to the return type of baz(1). You get no idea of this from reading baz() on its own. This is merely one of many problems with this idea. Closing this as invalid. At the very least, it would need a DIP. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
