Type Definition NormalizedTy
Other items inrustc_trait_selection::traits
type NormalizedTy<'tcx> = Normalized<'tcx, &'tcx TyS<'tcx>>;