{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"trait_ref:"}]}
            trait_ref: TraitRef::new_from_args(cx, did, c.trait_ref.args),
        .map_bound(|c| TraitPredicate {
            polarity: c.polarity,