Skip to content

Conversation

@rtfeldman
Copy link
Contributor

@rtfeldman rtfeldman commented Nov 24, 2025

They were using Bool but should be more flexible than that.

@rtfeldman rtfeldman changed the title Fix constraints for != Fix constraints for == and != Nov 24, 2025
@rtfeldman rtfeldman reopened this Nov 26, 2025
@rtfeldman rtfeldman merged commit e791d56 into main Nov 27, 2025
44 checks passed
@rtfeldman rtfeldman deleted the propagate_is_eq branch November 27, 2025 04:41
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.

2 participants