{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"reveal_and_alloc(cx,"}]}
                    reveal_and_alloc(cx, (0..arity).map(|_| ty))
                    let arity = slice.arity();
                }