{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
        // exists some region R2 in the sup-region that outlives R1.
        // for each universal region R1 in the sub-region, there
        let universal_outlives =