D has contract programming e.g. `in(param < 0)` before { I don't think there's all that much that a typical compiler will do with them however sophisticated en

D has contract programming e.g. `in(param < 0)` before { I don't think there's all that much that a typical compiler will do with them however sophisticated enough type system I can see some wins.