https://issues.dlang.org/show_bug.cgi?id=12664
Kenji Hara <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|INVALID |DUPLICATE --- Comment #5 from Kenji Hara <[email protected]> --- Lazy argument is implicitly converted to "scope local" delegate. And the original argument @safe-ty and purity are implicitly treated as they belong to the caller side. int foo(lazy int x) pure @safe { return x(); } int get() { return 1; } // impure un@safe void main() { foo(get()); // OK! } So I think that nothrow-ness and @nogc-ability should be treated as same. *** This issue has been marked as a duplicate of issue 12647 *** --
