{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"};"}]}
                    };
                        default: const_param.default_val().map(|it| ec.lower_const_arg(it)),
                    let _idx = self.type_or_consts.alloc(param.into());