checker/tests/nullness/Issue3970.java

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

public class Issue3970 {

  public interface InterfaceA<T extends InterfaceA<T>> extends InterfaceB<T> {}

  public interface InterfaceB<T extends InterfaceB<T>> {
    int f();

    @Nullable T g();
  }

  void t(InterfaceA<?> a) {
    if (a.f() == 1) {
      InterfaceA<?> a2 = a.g();
    }
  }
}