https://issues.dlang.org/show_bug.cgi?id=18672
Seb <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|@safe should be |Error in @safe transitive |transitively propagated |propagation with | |associative arrays Severity|enhancement |normal --- Comment #1 from Seb <[email protected]> --- Argh I accidentally hit submit. The reason for the resubmission is that the following code compiles fine already: cat > main.d << EOF void main() @safe { struct Foo { int i; ~this() // <- no need to annotate with @safe explicitly here { assert(1); } void m(){} // <- no need to annotate with @safe explicitly here } Foo foo; foo.m(); } EOF So DMD already does transitively apply @safe, but apparently if it generated for associative arrays this generation doesn't work in all cases. --
