{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"///"}]}
    /// and their relative orderings.
    /// This can be used to quickly under-approximate the regions which are equal to each other
    // This is `pub` because it's used by unstable external borrowck data users, see `consumers.rs`.