Skip to content

Fix copy-paste typo in interval set overflow handling#1799

Merged
sim642 merged 2 commits into
masterfrom
issue-1798
Jul 31, 2025
Merged

Fix copy-paste typo in interval set overflow handling#1799
sim642 merged 2 commits into
masterfrom
issue-1798

Conversation

@sim642
Copy link
Copy Markdown
Member

@sim642 sim642 commented Jul 31, 2025

Closes #1798.

Maybe we should not be disabling unused variable warnings: they would've caught the issue because previously the argument of the lambda was unused.

TODO

  • Add test.

@michael-schwarz
Copy link
Copy Markdown
Member

Maybe we should not be disabling unused variable warnings: they would've caught the issue because previously the argument of the lambda was unused.

Is there a way to enable them gradually, i.e., at first for all files that do not have any, and then slowly for more and more files?

@sim642 sim642 merged commit 4b18694 into master Jul 31, 2025
18 of 19 checks passed
@sim642 sim642 deleted the issue-1798 branch July 31, 2025 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Missing increment overflow warning using interval sets

2 participants