{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"for"}]}
        for (a_pred, b_pred) in std::iter::zip(sorted_vtable, sorted_expected) {
        // - casting between `dyn Trait<for<'a> fn(&'a u8)>` and either of the above is UB
            let a_pred = self.tcx.normalize_erasing_late_bound_regions(self.typing_env, a_pred);