add has_type_test.cpp