31 points airhangerf15 4 hours ago 5 comments
diath 15 minutes ago | parent
out (; balance == balance + amount) // checked after method returns
lgas 5 minutes ago | parent
I've never used D, but it appears to be valid syntax. https://dlang.org/spec/function.html#postconditions
prydt 2 minutes ago | parent
Looks like its a typo :(
The correct way to go about this would be to return the new balance and capture the return value in the first part of the out postcondition like:
```D double deposit(double amount) in (amount > 0, "Deposit amount must be positive") out (result; result == balance) { balance += amount; return balance; } ```
My mistake!