{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"//"}]}
        // for all UB.
        // R0`). Therefore, we need only keep an option `O` if `UB: O`
        let universal_region_relations = &self.universal_region_relations;