> b) it is impossible to do partial semantic validation of > template body based on concept limitation which is the original > motivating reason behind concept designs in C++ (with no > success so far) I'm pretty sure I've read that they have it working in a GCC branch for C++ concepts lite, it does validation at compile time.