Function rustc_traits::type_op::type_op_normalize

fn type_op_normalize<'tcx, T>(
    ocx: &ObligationCtxt<'_, 'tcx>,
    key: ParamEnvAnd<'tcx, Normalize<T>>
) -> Fallible<T>where
    T: Debug + TypeFoldable<'tcx> + Lift<'tcx>,