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: heisenbug

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-19 23:22:26 +09:00
parent eb5b9c4946
commit 7063056c39
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_compiler/module/cache.rs
View file

@ -227,10 +227,14 @@ impl SharedModuleCache {
}
}
/// FIXME: see the comment in this function
pub fn raw_ref_ctx<Q: Eq + Hash + ?Sized>(&self, path: &Q) -> Option<&ModuleContext>
where
PathBuf: Borrow<Q>,
{
// Check if the module can be borrowed
// If you delete `_ref`, this function returns `None` even if the key exists in rare cases
let _ref = self.0.borrow();
let ref_ = unsafe { self.0.as_ptr().as_ref().unwrap() };
ref_.get(path).map(|entry| entry.module.as_ref())
}