{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"if"}]}
                if self.span_to_snippet(between_span).as_deref() == Ok(":: ") {
                let between_span = a_span.shrink_to_hi().to(b_span.shrink_to_lo());
                    return Err(self.dcx().create_err(DoubleColonInBound {