https://issues.dlang.org/show_bug.cgi?id=12919
John Hall <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #2 from John Hall <[email protected]> --- The signed to unsigned conversions also occur before function preconditions are run. import std.stdio: writeln; void foo(uint x) in(x >= 0) { writeln(x); } void main() { int x = -1; foo(x); //prints 4294967295 } --
