Function rustc::traits::normalize

pub fn normalize<'a, 'b, 'gcx, 'tcx, T>(selcx: &'a mut SelectionContext<'b, 'gcx, 'tcx>, cause: ObligationCause<'tcx>, value: &T) -> Normalized<'tcx, T> where T: TypeFoldable<'tcx>

Unstable (rustc_private)

Normalizes any associated type projections in value, replacing them with a fully resolved type where possible. The return value combines the normalized result and any additional obligations that were incurred as result.