{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// lax with mapping region vids that are *shorter* than a universal region to
    /// This differs from `MirBorrowckCtxt::name_regions` since it is particularly
    /// that universal region. This is useful for member region constraints since