spec clarification: type annotations on static nested types

[Alex Buckley]

On 12/11/2018 2:28 PM, Liam Miller-Cushon wrote:
> What do you think about trying to use the idea of containment more
> extensively in 4.7.20.2?

Everything you say makes sense. The example-driven tables were a 
best-effort spec given limited time and community interest in 2014. Feel 
free to file an RFE in specification/language that describes the 
type-walking motions in 4.7.20.2 more precisely.

Alex