is_convertible_to_elem_of