{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"Err(infcx_compat.err_ctxt().report_region_errors(body_def_id,"}]}
        Err(infcx_compat.err_ctxt().report_region_errors(body_def_id, &errors_compat))
    } else {
    }