2011/12/2 Frédéric Bron <frederic.bron@m4x.org>:
I think the addition of the operator traits to the type trait library are typically good for proposal. However I wonder if it would need ALL operator traits to be implemented (today, only 37 are implemented). Your thoughts?
An existing implementation, particularly one that is available for inspection, increases confidence that a proposal is well thought out and implementable. That said, type traits are often simple enough that there isn't any question of implement-ability. But the question may come up as to why some haven't been implemented? Do they require compiler support, for example? You might sound out LWG members who are interested in type traits for their opinions. Contact me privately for the names and email address of several who might be interested. --Beman