{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"OutlivesBound::RegionSubRegion(r1,"}]}
                OutlivesBound::RegionSubRegion(r1, r2) => {
            match outlives_bound {
                    // The bound says that `r1 <= r2`; we store `r2: r1`.