• via Digitalmars-d-bugs (34/34) Apr 24 2015 https://issues.dlang.org/show_bug.cgi?id=14496

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

https://issues.dlang.org/show_bug.cgi?id=14496

          Issue ID: 14496
           Summary: void initialization of member with indirections must
                    not be  safe
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Keywords: accepts-invalid
          Severity: normal
          Priority: P1
         Component: DMD
          Assignee: nobody puremagic.com
          Reporter: schuetzm gmx.net

This should not compile:

struct Foo {
    int* indirection1;
    Object indirection2;
    string[] indirection3;
}

struct Bar {
    Foo foo = void; 
}

struct Baz {
    int* x = void;
}

 safe void main() {
    Bar bar;
    Baz baz;
}

Found by Justin Whear:
https://github.com/D-Programming-Language/phobos/pull/3213#issuecomment-95982584

--