Re: [boost] [type_traits] Rewrite and dependency free version

El 20/01/2015 a las 14:14, John Maddock escribió:

Then:

do_something(trait1<T>(), trait2<T>());

The problem here is that the final catch all case can not be found unless trait2 actually inherits from mpl::bool_ rather than being merely convertible to it.

MPL bool should be constructible from any type that has a constant named "value", as Peter proposed. I think that's a good solution to maintain backwards compatibility, to invert the dependency between type traits and mpl. Best, Ion