deeply_normalize in rustc_trait_selection::solve - Rust
Description: Deeply normalize all aliases in `value`. This does not handle inference and expects its input to be already fully resolved.

Skip to main content

## deeply_normalize

# Function 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.