framework/tests/all-systems/Issue1708.java

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

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;

@SuppressWarnings("unchecked")
public class Issue1708 {

  static class A<T extends B> {}

  static class B<T1, T2> {}

  static class C {}

  static class D<T1 extends E, T2 extends F> {}

  static class E<T1, T2 extends D> {}

  static class F {}

  static class B1 extends B<C, D> {}

  static class B2 extends B<C, D> {}

  static class B3 extends B<C, D> {}

  public static class Example extends A<B<C, D>> {
    private final List<B<C, D>> f;

    public Example(B1 b1, B2 b2, B3 b3) {
      f = ListUtil.of(b1, b2, b3);
    }
  }

  public static class ListUtil {
    public static <T> List<T> of(T... elems) {
      return new ArrayList<>(Arrays.asList(elems));
    }
  }
}