{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":")"}]}
            ) -> std::ops::ControlFlow<Self::BreakTy> {
                outer_binder: DebruijnIndex,
                let ty = self.table.resolve_ty_shallow(ty);