{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":".postdom_upper_bound(fr1,"}]}
            .postdom_upper_bound(fr1, fr2)
        self.inverse_outlives
            .unwrap_or(self.universal_regions.fr_static)