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)
