26 Sep
2010
26 Sep
'10
1:13 p.m.
On 26/09/10 14:57, Mathias Gaunard wrote:
The design of ConceptCheck doesn't allow to test at compile-time whether a set of types rightly model a concept.
This is because concepts within ConceptCheck are defined as arbitrary statements, rather than expressions.
We should redesign ConceptCheck for it to test expressions; then we could use the new extended SFINAE to test things.
This however means we'd basically have to throw away and rewrite all the concept work that has already been done. I think it's worth the effort IMHO