add has_element_type.cpp