{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"ty::Pat(element_ty,"}]}
        ty::Pat(element_ty, _) | ty::Array(element_ty, _) | ty::Slice(element_ty) => {
            Ok(ty::Binder::dummy(vec![element_ty]))