{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"span.shrink_to_hi().with_hi(full_span.hi()),"}]}
                    span.shrink_to_hi().with_hi(full_span.hi()),
                err.span_suggestion_verbose(
                    msg,