[boost] [type-traits] virtual function type trait check