{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"bounds.push(("}]}
        bounds.push((
        // We've checked above that the trait is conditionally const.
            ty::Binder::dummy(ty::TraitRef::identity(tcx, def_id.to_def_id()))