Steve Teale Wrote: > > It can be done using concepts: a template which instantiates to a set of > > static asserts about what you want. > > Is that what we do with Ranges? Range concepts are boolean. There was a discussion on how to get detailed diagnostic if concept is not met, so that one would know what exactly is wrong. This is done with a sequence of static asserts.