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

          Issue ID: 24603
           Summary: Can copy from non-void array into void[] in safe code
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody@puremagic.com
          Reporter: nick@geany.org

void main() @safe {
    Object[] objs = [ new Object() ];
    void[] arr1 = objs;
    void[] arr2 = [ 123, 345, 567 ];

    arr1[] = arr2[];  // error
    arr1[] = [5]; // no error
}

PR incoming.

--