{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
) -> Option<Solution> {
    goal: Canonical<InEnvironment<Goal>>,
    let _p = tracing::info_span!("trait_solve_query", detail = ?match &goal.value.goal.data(Interner) {