Skip to content

Use typed exposed item targets#9640

Draft
rtfeldman wants to merge 1 commit into
mainfrom
rtfeldman/fix-exposed-item-targets-9638
Draft

Use typed exposed item targets#9640
rtfeldman wants to merge 1 commit into
mainfrom
rtfeldman/fix-exposed-item-targets-9638

Conversation

@rtfeldman

Copy link
Copy Markdown
Contributor

Fixes #9638 by replacing ExposedItems' numeric node-index payload and unresolved 0 sentinel with explicit unresolved, value definition, and type declaration targets. Import resolution and downstream consumers now ask for the target kind they actually need, so an unresolved exposed value cannot be mistaken for a valid external definition node; the regression covers a module exposing bare f while only defining T.f.

@rtfeldman rtfeldman force-pushed the rtfeldman/fix-exposed-item-targets-9638 branch from d249952 to b59dec6 Compare June 13, 2026 13:09
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.

Typechecker panics on qualified associated function from imported module

1 participant