Type Definition rustc_infer::traits::NormalizedTy

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