Merge remote-tracking branch 'origin/main' into traits_overhaul

fir-lang · Feb 3, 2025 · a33e854 · a33e854
2 parents a01db98 + d888a55
commit a33e854
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/type_checker/ty.rs b/src/type_checker/ty.rs
@@ -874,7 +874,7 @@ impl TyVarRef {
 
     pub(super) fn normalize(&self, cons: &ScopeMap<Id, TyCon>) -> Ty {
         let link = match &*self.0.link.borrow() {
-            Some(link) => link.normalize(cons).deep_normalize(cons),
+            Some(link) => link.normalize(cons),
             None => return Ty::Var(self.clone()),
         };
         self.set_link(link.clone());