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