checker/tests/nullness/init/FieldWithInit.java

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

public class FieldWithInit {
  Object f = foo();

  Object foo(@UnknownInitialization FieldWithInit this) {
    return new Object();
  }
}