Better binder treatment

2022-09-20 16:39:39 +00:00 · 2022-09-20 16:39:39 +00:00 · 83e6128b57
commit 83e6128b57
parent 4136b59b7d
3 changed files with 42 additions and 1 deletions
--- a/compiler/rustc_infer/src/infer/error_reporting/mod.rs
+++ b/compiler/rustc_infer/src/infer/error_reporting/mod.rs
@ -2765,7 +2765,7 @@ impl<'tcx> TypeRelation<'tcx> for SameTypeModuloInfer<'_, 'tcx> {
    where
        T: relate::Relate<'tcx>,
    {
-        Ok(ty::Binder::dummy(self.relate(a.skip_binder(), b.skip_binder())?))
+        Ok(a.rebind(self.relate(a.skip_binder(), b.skip_binder())?))
    }

    fn consts(