{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"tracing::debug!(\"solve"}]}
    tracing::debug!("solve goal: {:?}", goal);
    let context = ChalkContext { db, krate, block };
    let mut solver = create_chalk_solver();