{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"constant:"}]}
            constant: &chalk_ir::Const<Interner>,
            &mut self,
            outer_binder: DebruijnIndex,