- /// Normalizes associated types in `value`, potentially returning
- /// new obligations that must further be processed.
- #[instrument(level = "debug", skip(self, cause, param_env), ret)]
- fn partially_normalize_associated_types_in<T>(
- &self,
- cause: ObligationCause<'tcx>,
- param_env: ty::ParamEnv<'tcx>,
- value: T,
- ) -> InferOk<'tcx, T>
- where
- T: TypeFoldable<'tcx>,
- {
- let mut selcx = traits::SelectionContext::new(self);
- let traits::Normalized { value, obligations } =
- traits::normalize(&mut selcx, param_env, cause, value);
- InferOk { value, obligations }
- }
-
- #[instrument(level = "debug", skip(self), ret)]
+ #[instrument(level = "debug", skip(self, params), ret)]