Don't erase the type argument of receiver

[Ao-senXiong]

for this code

public class Test<T> {
   Test <T> a;

    Test() {
        a = new Test<>();
        foo();
    }

    void foo() {}
}

error message before the change:

Test.java:6: error: [method.invocation.invalid] call to foo() not allowed on the given receiver.
        foo();
           ^
  found   : @UnderInitialization(Test.class) Test</*RAW*/>
  required: @Initialized Test</*RAW*/>

error message after the change:

Test.java:6: error: [method.invocation.invalid] call to foo() not allowed on the given receiver.
        foo();
           ^
  found   : @UnderInitialization(Test.class) Test<T extends @Initialized Object>
  required: @Initialized Test<T extends @Initialized Object>
1 error

[wmdietl]

Maybe this would fix #104? Can you try with tests from that issue?

[Ao-senXiong]

Maybe this would fix #104? Can you try with tests from that issue?

Just checked, this did not fix it.

[Ao-senXiong]

This is a partial fix, look into the error message in subclass and #104