pub fn normalize<'tcx, T>(
at: At<'_, 'tcx>,
value: Unnormalized<'tcx, T>,
) -> Normalized<'tcx, T>where
T: TypeFoldable<TyCtxt<'tcx>>,Expand description
see normalize_with_universes.
pub fn normalize<'tcx, T>(
at: At<'_, 'tcx>,
value: Unnormalized<'tcx, T>,
) -> Normalized<'tcx, T>where
T: TypeFoldable<TyCtxt<'tcx>>,see normalize_with_universes.