Comment by diath

    out (; balance == balance + amount) // checked after method returns

How exactly does it work? Is this a typo?