{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":".unwrap_or(infcx.tcx.lifetimes.re_erased)"}]}
                    .unwrap_or(infcx.tcx.lifetimes.re_erased)
                    .map(|&(_, arg_named)| arg_named)
            });