{"ast_node_type":"other","tokens":[{"end":104,"kind":"keyword","start":0,"text":"//"}]}
    // Additionally require the hidden type to be well-formed with only the generics of the opaque type.
    // Defining use functions may have more bounds than the opaque type, which is ok, as long as the