{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "trace", skip_all)]
    /// impl could apply to the current goal.
    fn consider_coherence_unknowable_candidate<G: GoalKind<D>>(