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