{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"search_stack.push((*elem_ty,"}]}
                    search_stack.push((*elem_ty, elem_hir_ty));
                | (ty::Array(elem_ty, _), hir::TyKind::Array(elem_hir_ty, _)) => {
                }