{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"Some(panic_context::enter(format!(\"solving"}]}
            Some(panic_context::enter(format!("solving {goal:?}")))
        let _ctx = if is_chalk_debug() || is_chalk_print() {
        } else {