[type-annos-observers] Clarifying the receiver parameter (qualified 'this')

[Michael Ernst]

Markus-

>> First, the change from
>>       [Identifier .] this
>> to
>>       {Identifier .} this
>> was essential.  The reason is that inside a doubly-nested inner class,
> the
>> receiver can have a name like Outer.Middle.this.
>
> Nope, Middle.this is always equivalent to Outer.Middle.this, so the
> "Outer." is never necessary.

You're right.  It's necessary on the type, but it is not necessary (nor 
does it serve any purpose for disambiguation) on the "this", which is what 
we are talking about.  Thanks for the correction.

                     -Mike