Function rustc_trait_selection::traits::fully_normalize
source · pub fn fully_normalize<'a, 'tcx, T>(
infcx: &InferCtxt<'a, 'tcx>,
cause: ObligationCause<'tcx>,
param_env: ParamEnv<'tcx>,
value: T
) -> Result<T, Vec<FulfillmentError<'tcx>>>where
T: TypeFoldable<'tcx>,
Expand description
Normalize a type and process all resulting obligations, returning any errors