add has_value_type_test.cpp