Revert "Update mod.rs"

This reverts commit cb9380f.
erg-lang · Sep 16, 2024 · b84fee1 · b84fee1
1 parent 9d88e8d
commit b84fee1
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/crates/erg_compiler/ty/mod.rs b/crates/erg_compiler/ty/mod.rs
@@ -1956,7 +1956,6 @@ impl HasType for Type {
 
 impl HasLevel for Type {
     fn level(&self) -> Option<usize> {
-        println!("lev: {self}");
         match self {
             Self::FreeVar(v) => v.level(),
             Self::Ref(t) => t.level(),
@@ -2035,10 +2034,7 @@ impl HasLevel for Type {
                     Some(min)
                 }
             }
-            Self::Structural(ty) => {
-                set_recursion_limit!(None, 128);
-                ty.level()
-            }
+            Self::Structural(ty) => ty.level(),
             Self::Guard(guard) => guard.to.level(),
             Self::Quantified(quant) => quant.level(),
             Self::Bounded { sub, sup } => {