{"ast_node_type":"import","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//"}]}
    // This is `pub` because it's used by unstable external borrowck data users, see `consumers.rs`.
    /// Panics if called before `solve()` executes,
    #[instrument(skip(self), level = "debug", ret)]