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 p

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.