{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
    // are from the trait and we assume all other bounds from the implementation
    // We need to build a set of predicates where only the method-level bounds
    // to be previously satisfied.