language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 12:14:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update free.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-08-31 02:43:32 +09:00
parent 3d719c2aea
commit d2460b9dde
1 changed files with 0 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/erg_compiler/ty/free.rs
View file

@ -35,9 +35,6 @@ pub trait HasLevel {
} }
fn lower(&self) { fn lower(&self) {
if let Some(lev) = self.level() { if let Some(lev) = self.level() {
if lev == GENERIC_LEVEL {
return;
}
self.set_level(lev.saturating_sub(1)); self.set_level(lev.saturating_sub(1));
} }
} }
@ -811,10 +808,6 @@ impl HasLevel for Free<Type> {
if addr_eq!(*lev, level) { if addr_eq!(*lev, level) {
return; return;
} }
// GENERIC_LEVEL variable cannot be lowered
if *lev == GENERIC_LEVEL && level == GENERIC_LEVEL - 1 {
return;
}
*lev = level; *lev = level;
} }
_ => {} _ => {}