On 4/30/2014 1:38 PM, Meta wrote:
Also, while we're thinking about static unittest, what about contracts? I've seen Bearophile suggest it quite a few times, and I agree that it'd be very useful to have contracts that are able to check a subset of function contracts/object invariants at compile time.
Already have them - template constraints.
