pub fn normalize<'tcx, T>(
at: At<'_, 'tcx>,
value: Unnormalized<'tcx, T>,
) -> Normalized<'tcx, T>where
T: TypeFoldable<TyCtxt<'tcx>>,Expand description
Normalize a value, deferring ambiguity and errors to fulfillment.
pub fn normalize<'tcx, T>(
at: At<'_, 'tcx>,
value: Unnormalized<'tcx, T>,
) -> Normalized<'tcx, T>where
T: TypeFoldable<TyCtxt<'tcx>>,Normalize a value, deferring ambiguity and errors to fulfillment.