framework/tests/value/Issue1580.java

// Test case for Issue 1580
// https://github.com/typetools/checker-framework/issues/1580

public class Issue1580<R, K extends Issue1580<R, K>> {
  protected final Gen<R> field;

  protected Issue1580(K parent) {
    field = parent.field;
  }

  static class Gen<T> {}
}