import org.checkerframework.common.value.qual.PolyValue;

// @skip-test until #153 is resolved.

public class Polymorphic4 {

  public static String @PolyValue [] quantify(String @PolyValue [] vars) {

    String[] result = new String[vars.length];

    return result;
  }
}