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