specification example: receiver in inner constructor

[Roman Shevchenko]

Hi!

I wonder if this example of a receiver annotation is correct:

   class Outer {
     class Inner {
       @Result Inner(@Receiver Outer Outer.this, boolean b) { }
     }
   }

It has receiver have a type Outer instead of Inner, and a syntax  
'Outer.this' isn't understood by  
1.8.0-ea-jsr308-nightly-h2410-20121221-b69-b00 compiler.

(I'm referring to the spec from January 30, 2013 at  
http://types.cs.washington.edu/jsr308/specification/java-annotation-design.html)

Thanks.