{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    reveal_and_alloc(cx, (0..arity).map(|_| ty))
                None => bug!("bad slice pattern {:?} {:?}", ctor, ty),