diff options
| author | Michael Goulet <michael@errs.io> | 2024-07-11 19:15:00 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-07-11 19:15:04 -0400 |
| commit | 2c8bbeebf1c630d06e44fa131d1cb0908b5ad56c (patch) | |
| tree | 3ccc0b554a4cad25b05e68804d70240fdcdb3234 /compiler/rustc_trait_selection/src/traits/normalize.rs | |
| parent | 0c81f94b9a6207fb1fc080caa83584dea2d71fc6 (diff) | |
| download | rust-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.rs | 8 |
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, |
