{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"GoalData::DomainGoal(DomainGoal::Holds(WhereClause::Implemented(it)))"}]}
        GoalData::DomainGoal(DomainGoal::Holds(WhereClause::Implemented(it))) => db
    let _p = tracing::info_span!("trait_solve_query", detail = ?match &goal.value.goal.data(Interner) {
            .trait_signature(it.hir_trait_id())