checker/tests/nullness/HierarchicalInit.java

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

public class HierarchicalInit {

  String a;

  public HierarchicalInit() {
    a = "";
  }

  public static class B extends HierarchicalInit {
    String b;

    public B() {
      super();
      b = "";
    }
  }
}