Re: static unittest

[Meta via Digitalmars-d]

On Wednesday, 30 April 2014 at 21:04:19 UTC, Walter Bright wrote:
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.

Your function needs to be a template for that. Also, object 
invariants.