Skip to content

Conversation

@saipraveenb25
Copy link
Collaborator

Relatively simple change to avoid headaches down the road.

If we have two ordered sets Set(A, B) and Set(B, C)
then a replacement of A with C will allow two different set instructions that represent the same logical set (Set(C, B) and Set(B, C))

This change makes sure that any uses of an inst in a set will cause that set to be created again (which will use the same stable global ordering)

@saipraveenb25 saipraveenb25 requested a review from a team as a code owner December 8, 2025 19:02
@saipraveenb25 saipraveenb25 added the pr: non-breaking PRs without breaking changes label Dec 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: non-breaking PRs without breaking changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant