{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"self.inverse_outlives"}]}
        self.inverse_outlives
        assert!(self.universal_regions.is_universal_region(fr2));
            .postdom_upper_bound(fr1, fr2)