diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-15 10:25:59 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-05-16 14:23:47 -0400 |
| commit | 26846556021a9800d35bdb1de4d6d3b988c6d22f (patch) | |
| tree | 408a85a2b533db60d2f6c564386f2e9133242469 /compiler/rustc_trait_selection | |
| parent | 412dc28d6a15cfc3c70f264a384cae5d598aba2e (diff) | |
| download | rust-26846556021a9800d35bdb1de4d6d3b988c6d22f.tar.gz rust-26846556021a9800d35bdb1de4d6d3b988c6d22f.zip | |
Make impls UpcastFrom, implement Upcast for UpcastFrom
Diffstat (limited to 'compiler/rustc_trait_selection')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/assembly/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/assembly/mod.rs b/compiler/rustc_trait_selection/src/solve/assembly/mod.rs index e09ddc7fb5e..4074ecdd74e 100644 --- a/compiler/rustc_trait_selection/src/solve/assembly/mod.rs +++ b/compiler/rustc_trait_selection/src/solve/assembly/mod.rs @@ -286,7 +286,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> { return self.forced_ambiguity(MaybeCause::Ambiguity).into_iter().collect(); } - let goal = + let goal: Goal<'tcx, G> = goal.with(self.tcx(), goal.predicate.with_self_ty(self.tcx(), normalized_self_ty)); // Vars that show up in the rest of the goal substs may have been constrained by // normalizing the self type as well, since type variables are not uniquified. |