diff options
| author | Michael Goulet <michael@errs.io> | 2024-06-03 09:27:48 -0400 | 
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-06-03 10:02:08 -0400 | 
| commit | a41c44f21c1a6fd96eb8d68fbdb298610443cff5 (patch) | |
| tree | 176b96364bf630274f1eb3d65db56865d8bbfa48 /compiler/rustc_trait_selection/src/traits/normalize.rs | |
| parent | 1e72c7f536bbdf3ed8a0071d28824c071c3722b5 (diff) | |
| download | rust-a41c44f21c1a6fd96eb8d68fbdb298610443cff5.tar.gz rust-a41c44f21c1a6fd96eb8d68fbdb298610443cff5.zip | |
Nits and formatting
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/normalize.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/normalize.rs | 11 | 
1 files changed, 6 insertions, 5 deletions
| diff --git a/compiler/rustc_trait_selection/src/traits/normalize.rs b/compiler/rustc_trait_selection/src/traits/normalize.rs index 4e5ca2ee92e..db30521d776 100644 --- a/compiler/rustc_trait_selection/src/traits/normalize.rs +++ b/compiler/rustc_trait_selection/src/traits/normalize.rs @@ -46,14 +46,15 @@ impl<'tcx> At<'_, 'tcx> { /// 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`. - fn deeply_normalize< - T: TypeFoldable<TyCtxt<'tcx>>, - E: FromSolverError<'tcx, NextSolverError<'tcx>>, - >( + fn deeply_normalize<T, E>( self, value: T, fulfill_cx: &mut dyn TraitEngine<'tcx, E>, - ) -> Result<T, Vec<E>> { + ) -> Result<T, Vec<E>> + where + T: TypeFoldable<TyCtxt<'tcx>>, + E: FromSolverError<'tcx, NextSolverError<'tcx>>, + { if self.infcx.next_trait_solver() { crate::solve::deeply_normalize(self, value) } else { | 
