diff options
| author | Michael Goulet <michael@errs.io> | 2023-07-04 18:49:13 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-07-07 16:02:25 +0000 |
| commit | f55b046931cfa1b281375ff8ec4e590d8386f0c4 (patch) | |
| tree | 7151f0a649a59d935985c0f7a4c707de051f78b9 /compiler/rustc_trait_selection | |
| parent | 713f9bb5d1d1d6cb22bc668e326d1c0f0f4f815a (diff) | |
| download | rust-f55b046931cfa1b281375ff8ec4e590d8386f0c4.tar.gz rust-f55b046931cfa1b281375ff8ec4e590d8386f0c4.zip | |
Normalize opaques during codegen in new solver
Diffstat (limited to 'compiler/rustc_trait_selection')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/normalize.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/normalize.rs b/compiler/rustc_trait_selection/src/solve/normalize.rs index c0ee1a576e5..c388850d831 100644 --- a/compiler/rustc_trait_selection/src/solve/normalize.rs +++ b/compiler/rustc_trait_selection/src/solve/normalize.rs @@ -167,9 +167,7 @@ impl<'tcx> FallibleTypeFolder<TyCtxt<'tcx>> for NormalizationFolder<'_, 'tcx> { // We don't normalize opaque types unless we have // `Reveal::All`, even if we're in the defining scope. let data = match *ty.kind() { - ty::Alias(kind, alias_ty) if kind != ty::Opaque || reveal == Reveal::UserFacing => { - alias_ty - } + ty::Alias(kind, alias_ty) if kind != ty::Opaque || reveal == Reveal::All => alias_ty, _ => return ty.try_super_fold_with(self), }; |