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

fix: transpiler bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-02-18 17:08:00 +09:00
parent 5fe79c1d41
commit 918f146d08
2 changed files with 44 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_compiler/context/compare.rs
View file

@ -560,7 +560,9 @@ impl Context {
(ty @ (Type | ClassType | TraitType), Poly { name, params })
if &name[..] == "Array" || &name[..] == "UnsizedArray" || &name[..] == "Set" =>
{
let elem_t = self.convert_tp_into_type(params[0].clone()).unwrap();
let Ok(elem_t) = self.convert_tp_into_type(params[0].clone()) else {
return false;
};
self.supertype_of(ty, &elem_t)
}
(ty @ (Type | ClassType | TraitType), Poly { name, params })