[zozbot234]

Except that the C++ substitutes for those features (where applicable; C++ has nothing like GAT, and has to make do with complex template meta-programming) are a lot harder too.

[pjmlp]

C++ has had GAT like capabilities on templates since forever.

Complex template meta-programming only if one is stuck in pre-C++17 compilers.