{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// Panics if called before `solve()` executes,
    ///
    // This is `pub` because it's used by unstable external borrowck data users, see `consumers.rs`.