# Function rustc_trait_selection::solve::normalize::deeply_normalize

source ·

    pub fn deeply_normalize<'tcx, T, E>(
        at: At<'_, 'tcx>,
        value: T,
    ) -> Result<T, Vec<E>>where
        T: TypeFoldable<TyCtxt<'tcx>>,
        E: FromSolverError<'tcx, NextSolverError<'tcx>>,

Expand description

Deeply normalize all aliases in `value`. This does not handle inference and expects its input to be already fully resolved.