• d-bugmail puremagic.com (31/31) Mar 27 2018 https://issues.dlang.org/show_bug.cgi?id=18672

d-bugmail puremagic.com writes:

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

cat > main.d << EOF
void main()  safe
{
    struct ThrowingElement
    {
        int i;
        ~this()
        {
            assert(1);
        }
    }

    ThrowingElement[int] aa;
    aa[0] = ThrowingElement(0);
}
EOF




--