{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
    // hidden type (i.e., it must be equal to `'a`, `'b`, or `'static`).
    // `'r in ['a, 'b, 'static]` for each region `'r` that appears in the
    //