Comment by lenkite

> C++ templates are duck typed at compile time.

This is not really true after C++ 20. C++ templates can leverage concepts that specify compile-time constraints and type checking on template parameters during template argument substitution