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

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

class Polymorphic4 {

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

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

        return result;
    }
}
