diff options
| author | Michael Goulet <michael@errs.io> | 2022-09-20 16:39:39 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-09-20 16:39:39 +0000 |
| commit | 83e6128b577649384ef4bd137223bcffe5c8a5b0 (patch) | |
| tree | 026681193f99aef7ae81a7dd4e73c86a01322207 /compiler | |
| parent | 4136b59b7da8866762761ed29405a5c5f58a5e3d (diff) | |
| download | rust-83e6128b577649384ef4bd137223bcffe5c8a5b0.tar.gz rust-83e6128b577649384ef4bd137223bcffe5c8a5b0.zip | |
Better binder treatment
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_infer/src/infer/error_reporting/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/infer/error_reporting/mod.rs b/compiler/rustc_infer/src/infer/error_reporting/mod.rs index 546ab82bc23..18255a5089c 100644 --- 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( |