diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-03-03 20:01:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-03 20:01:44 +0100 |
| commit | fec7a790888f103b8aa5374e7ddba50295ba64ec (patch) | |
| tree | 549e94dabab1646a5516b7b0aaaa5f453cbbac7f /compiler/rustc_metadata/src | |
| parent | a638f50d8d742c9a06f4f6d8f753df95bcf5e8ed (diff) | |
| parent | ba2e0ca6f0574d317fdbc7d228b0f621ca89ac9f (diff) | |
| download | rust-fec7a790888f103b8aa5374e7ddba50295ba64ec.tar.gz rust-fec7a790888f103b8aa5374e7ddba50295ba64ec.zip | |
Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakis
improve comments for `simplify_type` Should now correctly describe what's going on. Experimented with checking the invariant for projections but that ended up requiring fairly involved changes. I assume that it is not possible to get unsoundness here, at least for now and I can pretty much guarantee that it's impossible to trigger it by accident. r? `````@nikomatsakis````` cc #92721
Diffstat (limited to 'compiler/rustc_metadata/src')
| -rw-r--r-- | compiler/rustc_metadata/src/rmeta/encoder.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_metadata/src/rmeta/encoder.rs b/compiler/rustc_metadata/src/rmeta/encoder.rs index c3e168c4727..06f73c1c916 100644 --- a/compiler/rustc_metadata/src/rmeta/encoder.rs +++ b/compiler/rustc_metadata/src/rmeta/encoder.rs @@ -26,7 +26,7 @@ use rustc_middle::mir::interpret; use rustc_middle::thir; use rustc_middle::traits::specialization_graph; use rustc_middle::ty::codec::TyEncoder; -use rustc_middle::ty::fast_reject::{self, SimplifiedType, SimplifyParams}; +use rustc_middle::ty::fast_reject::{self, SimplifiedType, TreatParams}; use rustc_middle::ty::query::Providers; use rustc_middle::ty::{self, SymbolName, Ty, TyCtxt}; use rustc_serialize::{opaque, Encodable, Encoder}; @@ -2043,7 +2043,7 @@ impl<'tcx, 'v> ItemLikeVisitor<'v> for ImplsVisitor<'tcx> { let simplified_self_ty = fast_reject::simplify_type( self.tcx, trait_ref.self_ty(), - SimplifyParams::No, + TreatParams::AsPlaceholders, ); self.impls |