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