{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"///"}]}
    /// Records in the `outlives_relation` (and
impl<'tcx> UniversalRegionRelationsBuilder<'_, 'tcx> {
    /// `inverse_outlives_relation`) that `fr_a: fr_b`.