[abacate]

C++ template system is too generic (Turing complete), and it is usually the one to blame for the verboseness of error messages.

Something like Concepts would probably make it more like a proper "generics" mechanism and allow better error messages - ie, "this type does not implement EqualityTrait" instead of "signature mismatch <detailed and very verbose function declaration 1> and <detailed and very verbose function declaration 2>".

Despite this, newer g++ versions have better error messages overall - but sometimes you are stuck with an older version of the compiler as well.