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