diff --git a/crates/erg_compiler/ty/free.rs b/crates/erg_compiler/ty/free.rs
index 407dbda7..de7ae8c5 100644
--- a/crates/erg_compiler/ty/free.rs
+++ b/crates/erg_compiler/ty/free.rs
@@ -35,9 +35,6 @@ pub trait HasLevel {
     }
     fn lower(&self) {
         if let Some(lev) = self.level() {
-            if lev == GENERIC_LEVEL {
-                return;
-            }
             self.set_level(lev.saturating_sub(1));
         }
     }
@@ -811,10 +808,6 @@ impl HasLevel for Free<Type> {
                 if addr_eq!(*lev, level) {
                     return;
                 }
-                // GENERIC_LEVEL variable cannot be lowered
-                if *lev == GENERIC_LEVEL && level == GENERIC_LEVEL - 1 {
-                    return;
-                }
                 *lev = level;
             }
             _ => {}