[Checkers] target_type incompleteness

[Mahmood Ali]

Greetings,

>> 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)?
Nope.  I haven't tried to address this issue.

The compiler inserts the fields initializer in each constructor  
(including the default constructor if no synthetic constructor is  
present).

Regards,
Mahmood