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