FWIW the concept feature of c++20 has very little in common with rust traits. C++ concepts are closer to type assertions and aren't really a type system for te

FWIW the concept feature of c++20 has very little in common with rust traits. C++ concepts are closer to type assertions and aren't really a type system for templates. The old c++0x concepts proposal was much closer (and of course precedes them), bit turned out it was harder to make it work.