{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// satisfied by the hidden type of the opaque.
    /// to be well-formed, and for opaque types, these are required to be
    ///