rustc_trait_selection::solve

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.