Type array = definitions.ARRAY_TYPE(element); return New(mkPrimaryConstr(pos, array, new Tree[]{length}));
return New( mkApplyTV( mkPrimaryConstructorGlobalRef(pos, definitions.ARRAY_CLASS), new Type[]{element}, new Tree[]{length}));
    public Tree mkNewArray(int pos, Type element, Tree length) {        Type array = definitions.ARRAY_TYPE(element);        return New(mkPrimaryConstr(pos, array, new Tree[]{length}));    }