Concept definition

template<typename Tp>
concept is_valid_id = integral_no_bool<Tp>
                      || std::same_as<Tp, char*>
                      || std::same_as<Tp, std::string_view>