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.
