{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"tcx,"}]}
        tcx,
    let mut obligations: Vec<_> = util::elaborate(
        tcx.explicit_item_bounds(trait_ty.def_id).iter_instantiated_copied(tcx, rebased_args).map(