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

fix: type coercion bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-10-20 23:39:01 +09:00
parent 8c5d70ca4f
commit c1f6e4b900
3 changed files with 35 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

23
crates/erg_compiler/context/inquire.rs
View file

@ -39,6 +39,7 @@ use crate::{feature_error, hir};
use crate::{unreachable_error, AccessKind};
use RegistrationMode::*;
use super::eval::UndoableLinkedList;
use super::instantiate_spec::ParamKind;
use super::{ContextKind, MethodPair};
@ -761,6 +762,28 @@ impl Context {
}
_ => {}
}
self.fallback_get_attr_info(obj, ident, input, namespace, expect)
}
fn fallback_get_attr_info(
&self,
obj: &hir::Expr,
ident: &Identifier,
input: &Input,
namespace: &Context,
expect: Option<&Type>,
) -> Triple<VarInfo, TyCheckError> {
if let Ok(coerced) = self.coerce(obj.t(), &obj) {
if &coerced != obj.ref_t() {
let list = UndoableLinkedList::new();
obj.ref_t().undoable_coerce(&list);
if let Triple::Ok(vi) = self.get_attr_info(obj, ident, input, namespace, expect) {
drop(list);
obj.ref_t().coerce(None);
return Triple::Ok(vi);
}
}
}
Triple::None
}