recur into aliases TODO test

Author: lcnr

compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs

@@ -1294,7 +1294,7 @@ where
                 }
             }
             ty::Infer(_) => ControlFlow::Break(Ok(Certainty::AMBIGUOUS)),
-            _ if ty.has_type_flags(TypeFlags::HAS_PLACEHOLDER | TypeFlags::HAS_INFER) => {
+            _ if ty.has_type_flags(TypeFlags::HAS_PLACEHOLDER | TypeFlags::HAS_INFER | TypeFlags::HAS_ALIAS) => {
                 self.recursion_depth += 1;
             if self.recursion_depth > self.ecx.cx().recursion_limit() {
                 return ControlFlow::Break(Ok(Certainty::Maybe {
@@ -1328,7 +1328,7 @@ where
                 }
             }
             ty::ConstKind::Infer(_) => ControlFlow::Break(Ok(Certainty::AMBIGUOUS)),
-            _ if ct.has_type_flags(TypeFlags::HAS_PLACEHOLDER | TypeFlags::HAS_INFER) => {
+            _ if ct.has_type_flags(TypeFlags::HAS_PLACEHOLDER | TypeFlags::HAS_INFER | TypeFlags::HAS_ALIAS) => {
                 ct.super_visit_with(self)
             }
             _ => ControlFlow::Continue(()),