{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":")"}]}
) -> Option<chalk_solve::Solution<Interner>> {
    goal: &chalk_ir::UCanonical<chalk_ir::InEnvironment<chalk_ir::Goal<Interner>>>,
    let _p = tracing::info_span!("solve", ?krate, ?block).entered();