language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-01 05:11:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update inquire.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-23 22:44:45 +09:00
parent d8f7e386c8
commit bce00747af
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/erg_compiler/context/inquire.rs
View file

@ -2234,19 +2234,20 @@ impl Context {
} }
fn get_gen_t_require_attr_t<'a>(&'a self, gen: &'a GenTypeObj, attr: &str) -> Option<&'a Type> { fn get_gen_t_require_attr_t<'a>(&'a self, gen: &'a GenTypeObj, attr: &str) -> Option<&'a Type> {
match gen.require_or_sup().unwrap().typ() { match gen.require_or_sup().map(|req_sup| req_sup.typ()) {
Type::Record(rec) => { Some(Type::Record(rec)) => {
if let Some(t) = rec.get(attr) { if let Some(t) = rec.get(attr) {
return Some(t); return Some(t);
} }
} }
other => { Some(other) => {
let obj = self.rec_get_const_obj(&other.local_name()); let obj = self.rec_get_const_obj(&other.local_name());
let obj = enum_unwrap!(obj, Some:(ValueObj::Type:(TypeObj::Generated:(_)))); let obj = enum_unwrap!(obj, Some:(ValueObj::Type:(TypeObj::Generated:(_))));
if let Some(t) = self.get_gen_t_require_attr_t(obj, attr) { if let Some(t) = self.get_gen_t_require_attr_t(obj, attr) {
return Some(t); return Some(t);
} }
} }
None => {}
} }
if let Some(additional) = gen.additional() { if let Some(additional) = gen.additional() {
if let Type::Record(gen) = additional.typ() { if let Type::Record(gen) = additional.typ() {