Skip to content

refactor(hir): separate scopes from arena owners#313

Merged
hongjr03 merged 3 commits into
masterfrom
fix/scope-container-types
Jul 24, 2026
Merged

refactor(hir): separate scopes from arena owners#313
hongjr03 merged 3 commits into
masterfrom
fix/scope-container-types

Conversation

@hongjr03

Copy link
Copy Markdown
Member

Summary

  • split name-resolution ScopeId from generic HIR ArenaOwnerId
  • make arena data/source-map access total and remove runtime panic/fallible narrowing paths
  • represent scope-local definitions separately and report real module kinds from the HIR database
  • add compile-fail coverage preventing ScopeId from accessing generic arenas

Verification

  • cargo check --workspace
  • cargo test --workspace (529 passed, 3 ignored)
  • cargo test -p hir --doc

hongjr03 added 3 commits July 24, 2026 23:23
…-types

# Conflicts:
#	crates/hir/src/container.rs
#	crates/hir/src/def_id.rs
#	crates/hir/src/scope.rs
#	crates/ide/src/references/search.rs
@hongjr03
hongjr03 merged commit 62cfee3 into master Jul 24, 2026
17 of 18 checks passed
@hongjr03
hongjr03 deleted the fix/scope-container-types branch July 24, 2026 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant