{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            constant.data(Interner).ty.clone().try_fold_with(self, outer_binder)?,
        ConstData { ty: next_ty, value: constant.data(Interner).value.clone() }