Type Definition rustc_infer::traits::project::NormalizedTy

type NormalizedTy<'tcx> = Normalized<'tcx, Ty<'tcx>>;