diff options
| author | Michael Goulet <michael@errs.io> | 2023-03-07 17:25:45 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-03-07 17:25:45 +0000 |
| commit | 3bfcfd079d41ba73228d382677688cd3ce088545 (patch) | |
| tree | d707eaa498d124abcfe26f839a0cbe11cb360567 /compiler/rustc_trait_selection/src | |
| parent | 8d13454498cf422c95352e96c1459f6904acde7b (diff) | |
fix var equality issue with old canonicalizer
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/canonical/canonicalize.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/canonical/canonicalize.rs b/compiler/rustc_trait_selection/src/solve/canonical/canonicalize.rs index 48d78f685ee..981a8f45e45 100644 --- a/compiler/rustc_trait_selection/src/solve/canonical/canonicalize.rs +++ b/compiler/rustc_trait_selection/src/solve/canonical/canonicalize.rs @@ -267,7 +267,6 @@ impl<'tcx> TypeFolder<TyCtxt<'tcx>> for Canonicalizer<'_, 'tcx> { // We need to canonicalize the *root* of our ty var. // This is so that our canonical response correctly reflects // any equated inference vars correctly! - let root_vid = self.infcx.root_var(vid); if root_vid != vid { t = self.infcx.tcx.mk_ty_var(root_vid); |
