Function rustc_traits::type_op::type_op_normalize

fn type_op_normalize<T, 'tcx>(
    infcx: &InferCtxt<'_, 'tcx>, 
    fulfill_cx: &mut dyn TraitEngine<'tcx>, 
    key: ParamEnvAnd<'tcx, Normalize<T>>
) -> Fallible<T> where
    T: Debug + TypeFoldable<'tcx> + Lift<'tcx>,