{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
    // hidden type is well formed even without those bounds.
    // Defining use functions may have more bounds than the opaque type, which is ok, as long as the
    let predicate =