diff options
| author | lcnr <rust@lcnr.de> | 2024-11-26 16:01:08 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-11-28 10:40:58 +0100 |
| commit | 34a8c2dbba9fe2d57029027781500ab7fc305199 (patch) | |
| tree | 734522c1886ebc2b86d2961fb3cb0b8633ab26fa /compiler/rustc_ty_utils/src | |
| parent | 18e2253e79fc8a5973a7abfb0fe19f60961338b5 (diff) | |
| download | rust-34a8c2dbba9fe2d57029027781500ab7fc305199.tar.gz rust-34a8c2dbba9fe2d57029027781500ab7fc305199.zip | |
support revealing defined opaque post borrowck
Diffstat (limited to 'compiler/rustc_ty_utils/src')
| -rw-r--r-- | compiler/rustc_ty_utils/src/instance.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_ty_utils/src/instance.rs b/compiler/rustc_ty_utils/src/instance.rs index 8798772e398..1a98c85bee9 100644 --- a/compiler/rustc_ty_utils/src/instance.rs +++ b/compiler/rustc_ty_utils/src/instance.rs @@ -149,7 +149,8 @@ fn resolve_associated_item<'tcx>( // get a result which isn't correct for all monomorphizations. match typing_env.typing_mode { ty::TypingMode::Coherence - | ty::TypingMode::Analysis { defining_opaque_types: _ } => false, + | ty::TypingMode::Analysis { .. } + | ty::TypingMode::PostBorrowckAnalysis { .. } => false, ty::TypingMode::PostAnalysis => !trait_ref.still_further_specializable(), } }; |