[Issue 21885] New: Bad diagnostic: struct is not copyable because it is annotated @disable

[d-bugmail at puremagic.com]

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

          Issue ID: 21885
           Summary: Bad diagnostic: struct is not copyable because it is
                    annotated @disable
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Keywords: diagnostic
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody at puremagic.com
          Reporter: tobias at pankrath.net

--
struct Outer
{
    Inner i;
}

struct Inner
{
    @disable this(this);
}

void main()
{
    Outer o1;
    Outer o2;
    o1 = o2;
}
--

Error message: Error: struct `tests.at_disable.Outer` is not copyable because
it is annotated with `@disable`

Should instead say: because Outer.i is not copyable or smth. similar.

--