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