The implementation of Unary Traits (e.g., is_void) uses explicit specialization on all four combinations of cv-qualifiers for each trait (plain, const, volatile, and const volatile). I'm wondering if the alternative approach of stripping the qualifiers before "dispatching" to just one explicit specialization has been considered. The potential advantage of this approach is fewer declarations, smaller translation units, and thus (presumably) faster compilation.
Martin