language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 11:52:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add Inspect to builtin_module_with_unlisted_ability_impl

Browse source
This commit is contained in:
Richard Feldman 2023-09-01 22:29:22 -04:00 • committed by Brendan Hansknecht
parent d0841fb018
commit 00c27b087b
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/compiler/solve/src/ability.rs
View file

@ -1394,11 +1394,14 @@ impl AbilityResolver for AbilitiesStore {
}
}
/// Whether this a module whose types' ability implementations should be checked via derive_key,
/// Whether this is a module whose types' ability implementations should be checked via derive_key,
/// because they do not explicitly list ability implementations due to circular dependencies.
#[inline]
pub(crate) fn builtin_module_with_unlisted_ability_impl(module_id: ModuleId) -> bool {
matches!(module_id, ModuleId::NUM | ModuleId::BOOL)
matches!(
module_id,
ModuleId::NUM | ModuleId::BOOL | ModuleId::INSPECT
)
}
#[derive(Debug)]