Function rustc_trait_selection::solve::deeply_normalize

source ยท
pub fn deeply_normalize<'tcx, T: TypeFoldable<TyCtxt<'tcx>>>(
    at: At<'_, 'tcx>,
    value: T
) -> Result<T, Vec<FulfillmentError<'tcx>>>
Expand description

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