https://issues.dlang.org/show_bug.cgi?id=18672
Issue ID: 18672 Summary: @safe should be transitively propagated Product: D Version: D2 Hardware: All OS: All Status: NEW Keywords: safe Severity: enhancement Priority: P1 Component: dmd Assignee: nob...@puremagic.com Reporter: greensunn...@gmail.com cat > main.d << EOF void main() @safe { struct ThrowingElement { int i; ~this() { assert(1); } } ThrowingElement[int] aa; aa[0] = ThrowingElement(0); } EOF (resubmission of the example of #18592 as I do believe that the compiler should --