Commitment2.java

import org.checkerframework.checker.initialization.qual.NotOnlyInitialized;
import org.checkerframework.checker.initialization.qual.UnderInitialization;
import org.checkerframework.checker.initialization.qual.UnknownInitialization;

public class Commitment2 {

    //:: error: (assignment.type.incompatible)
    Commitment2 g = create();

    Commitment2 h;

    @NotOnlyInitialized Commitment2 c;

    @NotOnlyInitialized Commitment2 f;

    public void test(@UnderInitialization Commitment2 c) {
        //:: error: (initialization.invalid.field.write.initialized)
        f = c;
    }

    public static @UnknownInitialization Commitment2 create() {
        return new Commitment2();
    }

    //:: error: (initialization.fields.uninitialized)
    public Commitment2() {}

    //:: error: (initialization.fields.uninitialized)
    public Commitment2(@UnderInitialization Commitment2 likeAnEagle) {
        //:: error: (assignment.type.incompatible)
        h = likeAnEagle;

        c = likeAnEagle;
    }
}