{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
    let context = ChalkContext { db, krate, block };
    let _p = tracing::info_span!("solve", ?krate, ?block).entered();
    tracing::debug!("solve goal: {:?}", goal);