diff options
| author | lcnr <rust@lcnr.de> | 2023-12-08 17:29:48 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2023-12-12 12:20:54 +0000 |
| commit | 6ffe36b37dadba95bbc9427a4406db5af9b55231 (patch) | |
| tree | ab840f539efe8c61196ed3812410085e14939393 /compiler/rustc_trait_selection/src/solve/mod.rs | |
| parent | 5b8bc568d28b2e922290c9a966b3231d0ce9398b (diff) | |
| download | rust-6ffe36b37dadba95bbc9427a4406db5af9b55231.tar.gz rust-6ffe36b37dadba95bbc9427a4406db5af9b55231.zip | |
refactor writeback: emit normalization errors with new solver
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/mod.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/mod.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/mod.rs b/compiler/rustc_trait_selection/src/solve/mod.rs index 0ab099ef0c8..f45473e06dc 100644 --- a/compiler/rustc_trait_selection/src/solve/mod.rs +++ b/compiler/rustc_trait_selection/src/solve/mod.rs @@ -41,9 +41,8 @@ mod trait_goals; pub use eval_ctxt::{EvalCtxt, GenerateProofTree, InferCtxtEvalExt, InferCtxtSelectExt}; pub use fulfill::FulfillmentCtxt; -pub(crate) use normalize::{ - deeply_normalize, deeply_normalize_for_diagnostics, deeply_normalize_with_skipped_universes, -}; +pub(crate) use normalize::deeply_normalize_for_diagnostics; +pub use normalize::{deeply_normalize, deeply_normalize_with_skipped_universes}; #[derive(Debug, Clone, Copy)] enum SolverMode { |