From d2460b9ddef6f97429de40df2773b5e1722fd98c Mon Sep 17 00:00:00 2001
From: Shunsuke Shibayama <sbym1346@gmail.com>
Date: Sat, 31 Aug 2024 02:43:32 +0900
Subject: [PATCH] Update free.rs

---
 crates/erg_compiler/ty/free.rs | 7 -------
 1 file changed, 7 deletions(-)

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;
             }
             _ => {}