{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"outer_binder:"}]}
        outer_binder: DebruijnIndex,
        constant: chalk_ir::Const<Interner>,
    ) -> Result<chalk_ir::Const<Interner>, Self::Error> {