Function rustc_trait_selection::traits::fully_normalize [−][src]
pub fn fully_normalize<'a, 'tcx, T>(
infcx: &InferCtxt<'a, 'tcx>,
fulfill_cx: FulfillmentContext<'tcx>,
cause: ObligationCause<'tcx>,
param_env: ParamEnv<'tcx>,
value: T
) -> Result<T, Vec<FulfillmentError<'tcx>>> where
T: TypeFoldable<'tcx>,