New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Lints & More #13

Merged

remi-dupre merged 2 commits into master from lints

Nov 5, 2020

Contributor

remi-dupre commented Nov 5, 2020 •

edited

Loading

Introduce two slight changes:

fix clippy lints (mostly use of assert!(false) and tips to allow for a bit of floating point errors in tests)
enforce BoundaryPart's invariant of being non-empty, this is now a safe struct that can't produce a panic anymore

remi-dupre added 2 commits

November 5, 2020 10:58


          apply clippy lints

9d9ee10


          boundaries: enforce BoundaryPart size invariants

820a4a1

remi-dupre requested a review from amatissart

November 5, 2020 10:11

amatissart approved these changes

View reviewed changes

remi-dupre merged commit 49087b3 into master

remi-dupre deleted the lints branch

November 5, 2020 11:10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet