{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"tcx,"}]}
            tcx,
        obligations.extend(util::elaborate(
            tcx.explicit_implied_const_bounds(trait_ty.def_id)