{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    /// Here, R0 represents `'a`, and it contains (a) the entire CFG
    /// ```
    /// and (b) any universally quantified regions that it outlives,