[klipt]

Good old February 31.

[mamcx]

Nothing like a bug behind a safety feature :)

[elgenie]

That’s … not a bug.

A buggy assertion would be one that fires when the input is correct.

Assertions aren’t formal verifiers or replacements for a test suite.

[squarefoot]

Obligatory reference:)

https://www.youtube.com/watch?v=sVyRkl5qNb8

[masonic]

And year 0.

[mamcx]

I think that is why making the contract visible in the docs/intellisense or similar is valuable: You will understand more about the expectations of the code. Even if are incomplete or partial...