DDSXTY14 — Implementation Defined Default Nested Behavior

7.3.1.2.1.7 Nested Types

By default, aggregated types and aliases to aggregated types defined in IDL are not considered to be nested types.

...

If not present on a module, the value defaults to that of the enclosing module. If a top -level module is not annotated, the default is FALSE.

...

In addition to the above annotations, IDL compilers shall provide the means to change the default value for non-annotated top-level modules.

Given the fourth sentence, the first and third sentences should also say the nested status of a non-annotated type is implementation defined.