{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"_outer_binder:"}]}
                _outer_binder: chalk_ir::DebruijnIndex,
                var: chalk_ir::InferenceVar,
            ) -> chalk_ir::Lifetime<Interner> {