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_trait_selection/src/solve/delegate.rs | |
| parent | 18e2253e79fc8a5973a7abfb0fe19f60961338b5 (diff) | |
| download | rust-34a8c2dbba9fe2d57029027781500ab7fc305199.tar.gz rust-34a8c2dbba9fe2d57029027781500ab7fc305199.zip | |
support revealing defined opaque post borrowck
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/delegate.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/delegate.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/delegate.rs b/compiler/rustc_trait_selection/src/solve/delegate.rs index 09bba24ba61..97cde67799c 100644 --- a/compiler/rustc_trait_selection/src/solve/delegate.rs +++ b/compiler/rustc_trait_selection/src/solve/delegate.rs @@ -205,7 +205,9 @@ impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate< // transmute checking and polymorphic MIR optimizations could // get a result which isn't correct for all monomorphizations. match self.typing_mode() { - TypingMode::Coherence | TypingMode::Analysis { .. } => false, + TypingMode::Coherence + | TypingMode::Analysis { .. } + | TypingMode::PostBorrowckAnalysis { .. } => false, TypingMode::PostAnalysis => { let poly_trait_ref = self.resolve_vars_if_possible(goal_trait_ref); !poly_trait_ref.still_further_specializable() |