Function rustc_typeck::middle::traits::normalizeUnstable [-] [+] [src]

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

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.