{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"Some(TopLevelOrPatternNotAllowedSugg::RemoveLeadingVert"}]}
                Some(TopLevelOrPatternNotAllowedSugg::RemoveLeadingVert {
            let sub = if pats.len() == 1 {
                    span: span.with_hi(span.lo() + BytePos(1)),