erased is_valid_identifier?