{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// Given two universal regions, returns the postdominating
impl UniversalRegionRelations<'_> {
    /// upper-bound (effectively the least upper bound).