9.5.1: Confusing example

The example at the end of 10.5.1 could do with fleshing out:

> A type-name might identify a constructed type even though it doesn’t specify type parameters directly. This
> can occur where a type is nested within a generic class declaration, and the instance type of the
> containing declaration is implicitly used for name lookup (§16.4.9.7). [Example:
>
> ```
> class Outer
> {
> public class Inner {...}
> public Inner i; // Type of i is Outer.Inner
> }
> ```
>
> end example]

It's not clear to me what the example is of - is it saying that Inner is a constructed type, because its "full name" (in some sense) is `Outer.Inner`? Or is it only constructed when a type argument is specified, e.g. `Outer.Inner`?

Assigning to Mads as the most likely candidate to supply more text.