perf: Do not recursively replace aliases in predicates

We used to do so with `AliasRelate` goals when replacing aliases

Author: ShoyuVanilla

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

@@ -944,8 +944,17 @@ where
         self.delegate.cx()
     }
 
+    pub(super) fn add_goal(&mut self, source: GoalSource, goal: Goal<I, I::Predicate>) {
+        self.add_goal_raw(source, goal, true);
+    }
+
     #[instrument(level = "debug", skip(self))]
-    pub(super) fn add_goal(&mut self, source: GoalSource, mut goal: Goal<I, I::Predicate>) {
+    fn add_goal_raw(
+        &mut self,
+        source: GoalSource,
+        mut goal: Goal<I, I::Predicate>,
+        replace_alias: bool,
+    ) {
         goal.predicate = self.replace_alias_with_infer(goal.predicate, source, goal.param_env);
         self.inspect.add_goal(self.delegate, self.max_input_universe, source, goal);
         self.nested_goals.push((source, goal, None));
@@ -1726,9 +1735,10 @@ where
                     projection_term: alias.into(),
                     term: infer_ty.into(),
                 };
-                self.ecx.add_goal(
+                self.ecx.add_goal_raw(
                     self.normalization_goal_source,
                     Goal::new(self.cx(), self.param_env, projection),
+                    false,
                 );
                 infer_ty
             }
@@ -1754,9 +1764,10 @@ where
                     projection_term: ty::AliasTerm::from_unevaluated_const(self.cx(), uc),
                     term: infer_ct.into(),
                 };
-                self.ecx.add_goal(
+                self.ecx.add_goal_raw(
                     self.normalization_goal_source,
                     Goal::new(self.cx(), self.param_env, projection),
+                    false,
                 );
                 infer_ct
             }