refactor writeback: emit normalization errors with new solver

2023-12-08 17:29:48 +01:00
parent 5b8bc568d2
commit 6ffe36b37d
13 changed files with 102 additions and 115 deletions
--- 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 {