{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"ty::Slice(_)"}]}
                    ty::Slice(_) => None,
                    ),
                    _ => span_bug!(pat.span, "bad ty {} for slice pattern", ty.inner()),