[boost] Re: Constrained genericity at last? (any interest in an operator traits/concept traits library?)

Tobias Schwinger wrote:

Tobias Schwinger wrote:

...

class_or_union type_category(...);

integral_or_enum type_category(char); integral_or_enum type_category(short); integral_or_enum type_category(int); integral_or_enum type_category(long);

real_number type_category(float); real_number type_category(double);

This is still confusable by a class with implicit conversion operator. Using a pointer to these types instead, however, solves this problem.

... and breaks coverage for enum types. There are ways to make it work again (see previous message at another position of this thread). I need some time to think about how to merge it in elegantly, though.