Symbol formal = new TermSymbol(0, ARGS_N, null, 0).setInfo(argument);
Symbol formal = new TermSymbol(0, ARGS_N, null, Modifiers.PARAM); formal.setInfo(argument);
    private Type getMainMethodType(boolean erased) {        Definitions definitions = global.definitions;        Type argument = definitions.arrayType(definitions.JAVA_STRING_TYPE);        Type result = definitions.UNIT_TYPE;        if (erased) argument = argument.erasure();        if (erased) result = result.fullErasure();        Symbol formal = new TermSymbol(0, ARGS_N, null, 0).setInfo(argument);        return Type.MethodType(new Symbol[] {formal}, result);    }