{"ast_node_type":"impl","tokens":[{"end":45,"kind":"keyword","start":0,"text":"///"}]}
    /// impl could apply to the current goal.
    /// To do so we return a single ambiguous candidate in case such an unknown
    #[instrument(level = "trace", skip_all)]