That's not really true. A C++ compiler will verify that an instantiated template type checks. What concepts gives you is better error messages, overloading, and

That's not really true. A C++ compiler will verify that an instantiated template type checks. What concepts gives you is better error messages, overloading, and I presume it allows type checking of uninstantiated templates.