[snip] ```d // e.g. foo(int x) in (x >= 0) { return foo(uint(x)); } ```And remove those useless `in` conditions on the unsigned versions, an unsigned variable is always >= 0.-Steve
Thanks. That makes perfect sense. I just got thrown by the preconditions not running first.