This code doesn't work! -------------------------------------------- struct S{ @safe int opApply(scope int delegate(ref int) dg){return 0;} } @safe void main() { S s; foreach (x; s) {} } -------------------------------------------- @safe delegate can implicit convert to @system delegate. Following code can compile: -------------------------------------------- struct S{ @safe void foo(){} } @safe void main() { S s; void delegate() dg = &s.foo; } -------------------------------------------- And of course, "int delegate(ref int) @safe" should convert to "int delegate(ref int)". Therefore, safe function should allow to call opApply. Workaround is here: -------------------------------------------- struct S{ @safe int opApply(scope int delegate(ref int) dg){return 0;} @safe int opApply(scope int delegate(ref int)@safe dg){return 0;} } @safe void foo() { S s; foreach (x; s) {} } @system void main() { S s; foreach (x; s) {} foo(); } --------------------------------------------
The underlying issue a dupe of bug 3180. *** This issue has been marked as a duplicate of issue 3180 ***