Add HAS_TY_ALIAS into TypeFlags

Author: GuillaumeGomez

compiler/rustc_middle/src/ty/flags.rs

@@ -156,7 +156,7 @@ impl FlagComputation {
             }
 
             &ty::TyAlias(_, substs) => {
-                self.add_flags(TypeFlags::HAS_TY_PROJECTION);
+                self.add_flags(TypeFlags::HAS_TY_ALIAS);
                 self.add_substs(substs);
             }
 

compiler/rustc_trait_selection/src/traits/project.rs

@@ -384,12 +384,16 @@ where
 
 pub(crate) fn needs_normalization<'tcx, T: TypeVisitable<'tcx>>(value: &T, reveal: Reveal) -> bool {
     match reveal {
-        Reveal::UserFacing => value
-            .has_type_flags(ty::TypeFlags::HAS_TY_PROJECTION | ty::TypeFlags::HAS_CT_PROJECTION),
+        Reveal::UserFacing => value.has_type_flags(
+            ty::TypeFlags::HAS_TY_PROJECTION
+                | ty::TypeFlags::HAS_CT_PROJECTION
+                | ty::TypeFlags::HAS_TY_ALIAS,
+        ),
         Reveal::All => value.has_type_flags(
             ty::TypeFlags::HAS_TY_PROJECTION
                 | ty::TypeFlags::HAS_TY_OPAQUE
-                | ty::TypeFlags::HAS_CT_PROJECTION,
+                | ty::TypeFlags::HAS_CT_PROJECTION
+                | ty::TypeFlags::HAS_TY_ALIAS,
         ),
     }
 }

compiler/rustc_type_ir/src/lib.rs

@@ -230,7 +230,8 @@ bitflags! {
         /// Could this type be normalized further?
         const HAS_PROJECTION              = TypeFlags::HAS_TY_PROJECTION.bits
                                           | TypeFlags::HAS_TY_OPAQUE.bits
-                                          | TypeFlags::HAS_CT_PROJECTION.bits;
+                                          | TypeFlags::HAS_CT_PROJECTION.bits
+                                          | TypeFlags::HAS_TY_ALIAS.bits;
 
         /// Is an error type/const reachable?
         const HAS_ERROR                   = 1 << 13;
@@ -255,6 +256,9 @@ bitflags! {
 
         /// Does this value have `InferConst::Fresh`?
         const HAS_CT_FRESH                = 1 << 19;
+
+        /// Does this have `TyAlias`?
+        const HAS_TY_ALIAS                = 1 << 20;
     }
 }