{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"//"}]}
    // associated const in the trait are assumed.
    // The predicates declared by the impl definition, the trait and the
    let impl_predicates = tcx.predicates_of(impl_ct_predicates.parent.unwrap());