Subject: Re: [boost] [contract] toward N3351 concepts
From: Nathan Ridge (zeratul976_at_[hidden])
Date: 2012-10-08 21:34:53
> Or what mechanism should be used to allow types which fulfil axioms only
> partly? axiom_cast<double,TotallyOrdered> ?
I would prefer something like this - explicitly overriding axiom-checking
in the few cases where this would need to be done - over losing the
benefits of the compiler checking the axioms in cases where it can (which
are probably also few, but they exist).
Regards,
Nate