[type-annos-observers] Comments on the Nov 7 specification

[Michael Ernst]

> Srikanth, thanks for this information.

Agreed.  Thanks, Srikanth, for your view!

> Mike, here is my view: I think nested types should be represented "left to
> right", so that @A, @B, and @C in:
>
>   @A Outer. @B Middle. @C Inner
>
> are located with these type_path_entry arrays:
>
>   @A: -
>   @B: 1(0)
>   @C: 1(0), 1(0)
>
> I recognize this is not congruent with javac's AST, but I think it is the
> right all-round representation.

OK.  This choice is fine with me.  We need to make a choice one way or the
other, and there are advantages to each with neither clearly dominating the
other.  So, left-to-right it is.

Thanks!

		    -Mike