{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"let"}]}
    let _p = tracing::info_span!("solve", ?krate, ?block).entered();
) -> Option<chalk_solve::Solution<Interner>> {
    let context = ChalkContext { db, krate, block };