BSerializer::Serializable is not satisfied by std::vector<bool>

[brendanlynn]

BSerializer::Serializable is not satisfied by std::vector<bool>. More specifically, the type BSerializer::Collection, which BSerializer::Serializable indirectly references, is not satisfied by std::vector<bool>.

This is not the case with other std::vector<...>s, such as std::vector<int> or std::vector<uint8_t>. To the extent of my current understanding, it only happens with element type bool.

[brendanlynn]

This also applies to std::list<bool>, which does not satisfy BSerializer::Collection, while other variations such as std::list<int> or std::list<std::pair<int, const int>> do.

[brendanlynn]

The current code for the concept BSerializer::Collection is as follows, with comment annotation:

template <typename _T>
concept Collection = requires() {
    typename _T::value_type;
    typename _T::size_type;
    typename _T::const_iterator;

    requires std::unsigned_integral<typename _T::size_type>;

    requires requires (const _T Obj) {
        { Obj.size() } -> std::same_as<typename _T::size_type>;
        { Obj.cbegin() } -> std::same_as<typename _T::const_iterator>;
        { Obj.cend() } -> std::same_as<typename _T::const_iterator>;
    };

    //This condition is false on element type of bool:
    requires requires(const typename _T::const_iterator CIt) {
        { *CIt } -> std::same_as<const typename _T::value_type&>;
    };

    requires requires(typename _T::const_iterator CIt) {
        { ++CIt } -> std::same_as<typename _T::const_iterator&>;
        { CIt++ } -> std::same_as<typename _T::const_iterator>;
    };

    requires requires(const typename _T::const_iterator CIt1, const typename _T::const_iterator CIt2) {
        { CIt1 == CIt2 } -> std::same_as<bool>;
        { CIt1 != CIt2 } -> std::same_as<bool>;
    };

    //This condition is also false on element type of bool:
    requires requires(const typename _T::value_type* const P1, const typename _T::value_type* const P2) {
        _T{ P1, P2 };
    };
};