diff options
| author | lcnr <rust@lcnr.de> | 2025-04-01 23:48:41 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-04-03 11:13:10 +0200 |
| commit | 509a144eed84e6ccd1227cd0d90f877a774aae70 (patch) | |
| tree | 1f8df82dd01f7ae1085129d79d2144e5d00746ee /compiler/rustc_trait_selection/src/traits/normalize.rs | |
| parent | 990201cb78a77ec0c148a880e6ab46bafa3468df (diff) | |
| download | rust-509a144eed84e6ccd1227cd0d90f877a774aae70.tar.gz rust-509a144eed84e6ccd1227cd0d90f877a774aae70.zip | |
add `TypingMode::Borrowck`
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/normalize.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/normalize.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/normalize.rs b/compiler/rustc_trait_selection/src/traits/normalize.rs index ad62b456ad4..4ac45172a0e 100644 --- a/compiler/rustc_trait_selection/src/traits/normalize.rs +++ b/compiler/rustc_trait_selection/src/traits/normalize.rs @@ -130,6 +130,7 @@ pub(super) fn needs_normalization<'tcx, T: TypeVisitable<TyCtxt<'tcx>>>( // FIXME(#132279): We likely want to reveal opaques during post borrowck analysis TypingMode::Coherence | TypingMode::Analysis { .. } + | TypingMode::Borrowck { .. } | TypingMode::PostBorrowckAnalysis { .. } => flags.remove(ty::TypeFlags::HAS_TY_OPAQUE), TypingMode::PostAnalysis => {} } @@ -226,6 +227,7 @@ impl<'a, 'b, 'tcx> TypeFolder<TyCtxt<'tcx>> for AssocTypeNormalizer<'a, 'b, 'tcx // FIXME(#132279): We likely want to reveal opaques during post borrowck analysis TypingMode::Coherence | TypingMode::Analysis { .. } + | TypingMode::Borrowck { .. } | TypingMode::PostBorrowckAnalysis { .. } => ty.super_fold_with(self), TypingMode::PostAnalysis => { let recursion_limit = self.cx().recursion_limit(); |