{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"rustc_ast::TyPatKind::Range(start,"}]}
            rustc_ast::TyPatKind::Range(start, end, include_end) => {
        match &pat.kind {
                if let Some(start) = start {