Function conv_arg_expr 

fn conv_arg_expr<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    arg: Pair<'_, Rule>,
) -> ContractExpr<'tcx>