{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"outer_binder:"}]}
            outer_binder: DebruijnIndex,
            constant: &chalk_ir::Const<Interner>,
        ) -> std::ops::ControlFlow<Self::BreakTy> {