[Checkers] target_type incompleteness

[Mahmood Ali]

Greetings,

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();
}

Regards,
- Mahmood