Comment by lenkite
7 months ago
> 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
Yes, concepts are the fix to that duck typing. Not sure how widespread they are in the wild yet (nor how good compiler support is already at the moment.)