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