language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update mod.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2025-02-20 13:00:10 +09:00
parent a801eebca1
commit 6e21d53f71
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_compiler/ty/mod.rs
View file

@ -5417,14 +5417,14 @@ impl Type {
pub fn contained_ts(&self) -> Set<Type> {
match self {
Self::FreeVar(fv) if fv.is_linked() => fv.unwrap_linked().contained_ts(),
Self::FreeVar(fv) if fv.constraint_is_sandwiched() => {
/*Self::FreeVar(fv) if fv.constraint_is_sandwiched() => {
let (sub, sup) = fv.get_subsup().unwrap();
fv.do_avoiding_recursion(|| {
set! { self.clone() }
.union(&sub.contained_ts())
.union(&sup.contained_ts())
})
}
}*/
Self::FreeVar(_) => set! { self.clone() },
Self::Refinement(refine) => refine.t.contained_ts(),
Self::Ref(t) => t.contained_ts(),