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