{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"///"}]}
    /// `inverse_outlives_relation`) that `fr_a: fr_b`.
    /// Records in the `outlives_relation` (and
    fn relate_universal_regions(&mut self, fr_a: RegionVid, fr_b: RegionVid) {