Make is_base_of<T,T>::value true for all types T, as per TR1. Make is_convertible<T, void>::value true for all types T, as per TR1.