checker/tests/nullness/generics/MethodTypeVars2.java

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

public class MethodTypeVars2 {

  class GeoSegment {}

  interface Path<N1, P1 extends Path<N1, P1>> {}

  private static <N2 extends GeoSegment, P2 extends Path<N2, P2>> @Nullable Object pathToRoute(
      Path<N2, P2> path) {
    return null;
  }

  class StreetSegment extends GeoSegment {}

  class StreetSegmentPath implements Path<StreetSegment, StreetSegmentPath> {}

  void call(StreetSegmentPath p) {
    Object r = pathToRoute(p);
  }

  static class WorkingWithOne {
    interface GPath<P extends GPath<P>> {}

    class GStreetSegmentPath implements GPath<GStreetSegmentPath> {}

    private static <P extends GPath<P>> @Nullable Object pathToRoute(GPath<P> path) {
      return null;
    }

    void call(GStreetSegmentPath p) {
      Object r = pathToRoute(p);
    }
  }
}