checker/tests/nullness/init/Uninit9.java

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

public class Uninit9 {
  public Object f;

  Uninit9() {
    f = new Object();
  }
}

class Uninit9Sub extends Uninit9 {
  Uninit9Sub() {
    super();
    fIsSetOnEntry();
  }

  @RequiresNonNull("f")
  void fIsSetOnEntry(@UnknownInitialization Uninit9Sub this) {}
}