Skip to content

Fix a use of an imported InstId used where a local InstId is required#5998

Merged
dwblaikie merged 1 commit intocarbon-language:trunkfrom
dwblaikie:mismatched_instid_1
Aug 28, 2025
Merged

Fix a use of an imported InstId used where a local InstId is required#5998
dwblaikie merged 1 commit intocarbon-language:trunkfrom
dwblaikie:mismatched_instid_1

Commits

Commits on Aug 28, 2025