framework/tests/framework/GenericTest5.java

import org.checkerframework.framework.testchecker.util.*;

// Test case for Issue 135:
// https://github.com/typetools/checker-framework/issues/135
// Method type argument substitution needs to consider arrays correctly.
public class GenericTest5 {
  interface Foo {
    <T> T[] id(T[] a);
  }

  public <U> void test(Foo foo, U[] a) {
    U[] array = foo.id(a);
  }

  public <T> void test1(Foo foo, T[] a) {
    T[] array = foo.id(a);
  }

  public <S extends @Odd Object> void test2(Foo foo, S[] a) {
    S[] array = foo.id(a);
  }

  public <S extends @Odd Object, T extends S> void test3(Foo foo, T[] a) {
    T[] array = foo.id(a);
  }
}