On Mon, 19 Sep 2016, Thomas Schwinge wrote:
> > The question is whether such a complex type could be a global tree which I
> > don't think it could.
> Specifically, my question was whether for every complex type that is part
> of the global trees, it holds that the complex type's component type also
> is part of the global trees?
That should definitely be the case (but there might be (a) complex types
that aren't part of those trees, whose components aren't part either, and
(b) non-complex types that are part of the global trees, whose
corresponding complex types exist but aren't part of the global trees).
Joseph S. Myers