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

          Issue ID: 19595
           Summary: Formally define aggregate type in documentation
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dlang.org
          Assignee: nobody@puremagic.com
          Reporter: n8sh.secondary@hotmail.com

An aggregate type is a struct, union, class, interface, or enum whose base type is one of those. It would be helpful to document this; it isn't obvious merely from the name that all of those are "aggregates" but not array slices (pointer and length) or delegates (function pointer + context pointer) or static arrays or associative arrays.

If there is some precise sense of "aggregate" that makes it obvious what this category means it would be useful to insert that but I'm not sure if I see it. All aggregate types are things that are capable of having `alias this` but I'm not sure if that's related to the definition or incidental.

--