Function rustc_trait_selection::solve::deeply_normalize
source ยท pub fn deeply_normalize<'tcx, T, E>(
at: At<'_, 'tcx>,
value: T,
) -> Result<T, Vec<E>>
Expand description
Deeply normalize all aliases in value
. This does not handle inference and expects
its input to be already fully resolved.