{"ast_node_type":"impl","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
    // This registers the `[const]` bounds of the impl method, which we will prove
    //
    // using the hybrid param-env that we earlier augmented with the const conditions