Doesn't look like it: https://dlang.org/spec/function.html#postconditions Unfortunately Walter isn't very keen on contracts in general now days and may not be willing to accept any DIP's for this. If you want it improved, you will likely have to implement it, on top of the DIP itself.