Uninit8.java

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

public class Uninit8 {

    Object f;

    Uninit8() {
        setFields();
        f.toString();
    }

    @EnsuresNonNull("f")
    void setFields(@Raw @UnknownInitialization Uninit8 this) {
        f = new Object();
    }
}