Re: [boost] [contract] toward N3351 concepts

P.S. I just have wild idea - what about axioms for function's arguments? i.e. not on types, but on values. Maybe some kind of axiomatic_assert. For instance that can be used to prevent pointers aliasing ("restrict" keyword in C99): void* memcpy( void* dest, const void* src, size_t count ) { axiomatic_assert( do_not_overlap(dest,src,count) ); // ... }

Is this not the same thing as preconditions in contract programming and Lorenzo's Boost.Contract library? Regards, &rzej