{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"),"}]}
            ),
                self.arena.alloc_from_iter(tys.iter().map(|ty| self.lower_ty_direct(ty, itctx))),
            TyKind::Paren(ty) => {