[Checkers] target_type incompleteness

[Michael Ernst]

Mahmood-

> I just noticed an incompleteness in the target_type reference_info  
> specification with regards to targets expected to be within a method  
> body (e.g. object creation, typecast, type test, type argument, class  
> literal).  Due to this expectation, their reference_info requires  
> 'offset'.
> 
> But what if they occur at fields initialization?  Like @A in
> class T {
>    Object a = new @A Object();
> }

Is this now fixed in the spec (and the code)?

                     Thanks,

                    -Mike