about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/normalize.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2024-07-11 19:15:00 -0400
committerMichael Goulet <michael@errs.io>2024-07-11 19:15:04 -0400
commit2c8bbeebf1c630d06e44fa131d1cb0908b5ad56c (patch)
tree3ccc0b554a4cad25b05e68804d70240fdcdb3234 /compiler/rustc_trait_selection/src/traits/normalize.rs
parent0c81f94b9a6207fb1fc080caa83584dea2d71fc6 (diff)
downloadrust-2c8bbeebf1c630d06e44fa131d1cb0908b5ad56c.tar.gz
rust-2c8bbeebf1c630d06e44fa131d1cb0908b5ad56c.zip
Remove fully_normalize
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/normalize.rs')
-rw-r--r--compiler/rustc_trait_selection/src/traits/normalize.rs8
1 files changed, 3 insertions, 5 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/normalize.rs b/compiler/rustc_trait_selection/src/traits/normalize.rs
index 3a7481acbaf..01ba8c02ea6 100644
--- a/compiler/rustc_trait_selection/src/traits/normalize.rs
+++ b/compiler/rustc_trait_selection/src/traits/normalize.rs
@@ -42,11 +42,9 @@ impl<'tcx> At<'_, 'tcx> {
     /// same goals in both a temporary and the shared context which negatively impacts
     /// performance as these don't share caching.
     ///
-    /// FIXME(-Znext-solver): This has the same behavior as `traits::fully_normalize`
-    /// in the new solver, but because of performance reasons, we currently reuse an
-    /// existing fulfillment context in the old solver. Once we also eagerly prove goals with
-    /// the old solver or have removed the old solver, remove `traits::fully_normalize` and
-    /// rename this function to `At::fully_normalize`.
+    /// FIXME(-Znext-solver): For performance reasons, we currently reuse an existing
+    /// fulfillment context in the old solver. Once we have removed the old solver, we
+    /// can remove the `fulfill_cx` parameter on this function.
     fn deeply_normalize<T, E>(
         self,
         value: T,