{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"},"}]}
            },
                None => bug!("bad slice pattern {:?} {:?}", ctor, ty),
            DerefPattern(pointee_ty) => reveal_and_alloc(cx, once(pointee_ty.inner())),