Re: [boost] [contract] static_assert in contracts or not?

Subject: Re: [boost] [contract] static_assert in contracts or not?
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2012-09-06 10:10:23

>
> > I do not know if Boost.ConceptCheck offers the capability of verifying
> any
> > boolean predicate. I know that concepts proposal (N2081) offered a
> special
> > concept True for that purpose (not sure if it is definable in
> > Boost.ConceptCheck). As a side note, in the new attempt at concept design
> > described in N3331,
>
> OK, I need to study N3331.
>

I meant N3351 (<http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3351.pdf>"A
Concept Design for the STL"), sorry.

Regards,
&rzej