[Issue 18672] New: @safe should be transitively propagated

[d-bugmail at puremagic.com]

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: nobody at puremagic.com
          Reporter: greensunny12 at 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

--