Raw2.java

import org.checkerframework.checker.initialization.qual.UnknownInitialization;
import org.checkerframework.checker.nullness.qual.*;

class Raw2 {
    private @NonNull Object field;
    //:: error: (initialization.fields.uninitialized)
    public Raw2(int i) {
        this.method(this);
    }

    public Raw2() {
        try {
            this.method(this);
        } catch (NullPointerException e) {
            e.printStackTrace();
        }
        field = 0L;
    }

    private void method(
            @Raw @UnknownInitialization Raw2 this, @Raw @UnknownInitialization Raw2 arg) {
        //:: error: (dereference.of.nullable)
        arg.field.hashCode();
        //:: error: (dereference.of.nullable)
        this.field.hashCode();
    }

    public static void test() {
        new Raw2();
    }
}