Skip to content

Keep open dispatch results graph-backed - #10740

Draft
rtfeldman wants to merge 2 commits into
mainfrom
issue-10694/unresolved-instantiation-node
Draft

Keep open dispatch results graph-backed#10740
rtfeldman wants to merge 2 commits into
mainfrom
issue-10694/unresolved-instantiation-node

Conversation

@rtfeldman

Copy link
Copy Markdown
Contributor

Monotype dispatch lowering eagerly materialized every direct parametric low-level result as a TypeId, even for ordinary value mode where the type was unused. This panicked for U64.to_i64_try because its open error-row default must remain in the instantiation graph until final sealing. Keep dispatch result-mode handling graph-native, preserve the Bool check for negated equality using explicit graph owner data, and add regression coverage. Fixes #10694.

@rtfeldman
rtfeldman force-pushed the issue-10694/unresolved-instantiation-node branch from 1274ec1 to 349f235 Compare August 13, 2026 00:16
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.

roc check panics with active Monotype TypeId requested for an unresolved instantiation graph node

1 participant