{"ast_node_type":"impl","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
    // The predicates declared by the impl definition, the trait and the
    // associated const in the trait are assumed.