When using contracts, I would like not to have an exception, but to have a compilation error in such code:
float f(float x){if(x>=0) x=-x-1;return sqrt(x);}
Dmi3 (talk) 00:26, 6 March 2025 (PST)
