{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
    // that all obligations already hold modulo regions.
    // error message and to avoid breaking the assumption of `mir_borrowck`
    let infcx = tcx.infer_ctxt().ignoring_regions().build(mode);