{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"span:"}]}
                        span: path.span.shrink_to_hi(),
                    return Err(self.dcx().create_err(DoubleColonInBound {
                        between: between_span,