refactor(elaborator): identify every declaration by `DefId` - #1892

Merged

gfx merged 28 commits into

mainfrom

claude/elaborator-architecture-refactor-3aa0q8

Aug 24, 2026

Commits on Aug 23, 2026

feat(defs): identify `impl` blocks and their methods
claude
committed
98935b8
refactor(elaborator): key the impl index by `DefId`
claude
committed
9745fae
refactor(elaborator): key every method and trait signature by `DefId`
claude
committed
5d48d18
fix(elaborator): resolve a bare call from its own reference site
claude
committed
43e3c88
refactor(elaborator): key every free-function signature by `DefId`
claude
committed
7cce36b
refactor(elaborator): name the `impl` block a dispatch was recorded against
claude
committed
a3d661d

Commits on Aug 24, 2026

fix(elaborator): name a generic impl's target at its own header site
claude
committed
6de4d18
fix(elaborator): answer a call from its site before reaching for a name
claude
committed
26e8ffb
refactor(elaborator): ask the declaration table once per question
claude
committed
8c8f7cf
docs(compiler): name the phases `elaborate` actually runs
claude
committed
ed1b220
refactor(elaborator): reach the declaration table through the walker
claude
committed
15a6c44
docs(wep): record what the impl index carrying `DefId`s changed
claude
committed
de855ad
refactor(elaborator): ask an impl header once whether it is concrete
claude
committed
063dd9a
docs(wep): state what closing the local-`impl` gap takes
claude
committed
3916000
merge origin/main (conflicts unresolved)
claude
committed
773dd6f
resolve merge conflicts
claude
committed
0d2727b
chore: tidy
wado-bot[bot]
committed
3d7d6c8
fix(elaborator): key a static call's impl lookup on the receiver's declaration
claude
committed
2a53f7f
Merge remote-tracking branch 'origin/claude/elaborator-architecture-refactor-3aa0q8' into claude/elaborator-architecture-refactor-3aa0q8
claude
committed
5980bd8
test: golden WIR for the cross-module conversion fixture
claude
committed
d798f16
merge origin/main (conflicts unresolved)
claude
committed
b59a14c
resolve merge conflicts
claude
committed
f142ffd
fix(elaborator): key static-dispatch metadata by the resolved receiver
claude
committed
70379b7
chore: tidy
wado-bot[bot]
committed
a62c723
fix(elaborator): un-alias an impl header's head before matching a receiver
claude
committed
d18175d
test: golden WIR for the aliased impl head fixture
claude
committed
f1233aa
fix(elaborator): keep an impl header's binder head unaliased
claude
committed
dcea3bd
refactor(elaborator): one receiver-key derivation for static lookups
claude
committed
0870af9

Navigation Menu

Uh oh!

Uh oh!

refactor(elaborator): identify every declaration by `DefId` - #1892

refactor(elaborator): identify every declaration by `DefId`#1892
gfx merged 28 commits into
mainfrom
claude/elaborator-architecture-refactor-3aa0q8

Commits on Aug 23, 2026

feat(defs): identify `impl` blocks and their methods

refactor(elaborator): key the impl index by `DefId`

refactor(elaborator): key every method and trait signature by `DefId`

fix(elaborator): resolve a bare call from its own reference site

refactor(elaborator): key every free-function signature by `DefId`

refactor(elaborator): name the `impl` block a dispatch was recorded against

Commits on Aug 24, 2026

fix(elaborator): name a generic impl's target at its own header site

fix(elaborator): answer a call from its site before reaching for a name

refactor(elaborator): ask the declaration table once per question

docs(compiler): name the phases `elaborate` actually runs

refactor(elaborator): reach the declaration table through the walker

docs(wep): record what the impl index carrying `DefId`s changed

refactor(elaborator): ask an impl header once whether it is concrete

docs(wep): state what closing the local-`impl` gap takes

merge origin/main (conflicts unresolved)

resolve merge conflicts

chore: tidy

fix(elaborator): key a static call's impl lookup on the receiver's declaration

Merge remote-tracking branch 'origin/claude/elaborator-architecture-refactor-3aa0q8' into claude/elaborator-architecture-refactor-3aa0q8

test: golden WIR for the cross-module conversion fixture

merge origin/main (conflicts unresolved)

resolve merge conflicts

fix(elaborator): key static-dispatch metadata by the resolved receiver

chore: tidy

fix(elaborator): un-alias an impl header's head before matching a receiver

test: golden WIR for the aliased impl head fixture

fix(elaborator): keep an impl header's binder head unaliased

refactor(elaborator): one receiver-key derivation for static lookups