WIP make std build with -Zassumptions-on-binders

[BoxyUwU]

r? ghost

[rust-log-analyzer]

The job tidy failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

                 outlives_env
Diff in /checkout/compiler/rustc_infer/src/infer/outlives/obligations.rs:222:
                     .region_bound_pairs()
                     .into_iter()
-                    .map(|outlives| ty::Binder::dummy(ty::OutlivesPredicate(outlives.0.to_ty(self.tcx), outlives.1)))
-                    .chain(
-                        outlives_env.known_type_outlives().into_iter().cloned(),
-                    )
+                    .map(|outlives| {
+                        ty::Binder::dummy(ty::OutlivesPredicate(
+                            outlives.0.to_ty(self.tcx),
+                            outlives.1,
+                        ))
+                    })
+                    .chain(outlives_env.known_type_outlives().into_iter().cloned())
                     .collect(),
                 outlives_env.free_region_map().relation.clone(),
             );
fmt: checked 6986 files
Bootstrap failed while executing `test src/tools/tidy tidyselftest --extra-checks=py,cpp,js,spellcheck`