template <class _FwdIt, class _Ty>
_CONSTEXPR20 void _Fill_vbool(_FwdIt _First, _FwdIt _Last, const _Ty& _Val) {
    // Set [_First, _Last) to _Val
    if (_First == _Last) {
        return;
    }

    const auto _FillVal         = static_cast<_Vbase>(_Val ? -1 : 0);
    _Vbase* _Vb_first            = const_cast<_Vbase*>(_First._Myptr);
    const _Vbase* const _Vb_last = const_cast<_Vbase*>(_Last._Myptr);

    _STL_INTERNAL_CHECK(_First._Myoff != _VBITS);
    const auto _FirstSourceMask = static_cast<_Vbase>(-1) << _First._Myoff;
    const auto _FirstDestMask   = static_cast<_Vbase>(~_FirstSourceMask);

    if (_Vb_first == _Vb_last) {
        // special case only one block
        _STL_INTERNAL_CHECK(_Last._Myoff != 0); // because we have at least one bit to set
        const auto _LastSourceMask  = static_cast<_Vbase>(-1) >> (_VBITS - _Last._Myoff);
        const auto _LastDestMask    = static_cast<_Vbase>(~_LastSourceMask);
        const auto _SourceMask = _FirstSourceMask & _LastSourceMask;
        const auto _DestMask   = _FirstDestMask | _LastDestMask;
        *_Vb_first               = (*_Vb_first & _DestMask) | (_FillVal & _SourceMask);
        return;
    }

    // fill in trailing bits of the first block and move _Vb_first up
    *_Vb_first               = (*_Vb_first & _FirstDestMask) | (_FillVal & _FirstSourceMask);
    ++_Vb_first;

#ifdef __cpp_lib_is_constant_evaluated
    if (_STD is_constant_evaluated()) {
        for (; _Vb_first != _Vb_last; ++_Vb_first) {
            *_Vb_first = _FillVal;
        }
    } else
#endif // __cpp_lib_is_constant_evaluated
    {
        const auto _Vb_first_ch = reinterpret_cast<const char*>(_Vb_first);
        const auto _Vb_last_ch  = reinterpret_cast<const char*>(_Vb_last);
        const auto _Count_ch  = static_cast<size_t>(_Vb_last_ch - _Vb_first_ch);
        const auto _ValChar   = static_cast<unsigned char>(_Val ? -1 : 0);
        _CSTD memset(_Vb_first, _ValChar, _Count_ch);
        _Vb_first += _Vb_last - _Vb_first;
    }

    if (_Last._Myoff != 0) {
        // fill in leading bits of the last block *_Vb_last
        const auto _LastSourceMask  = static_cast<_Vbase>(-1) >> (_VBITS - _Last._Myoff);
        const auto _LastDestMask    = static_cast<_Vbase>(~_LastSourceMask);
        *_Vb_last = (*_Vb_last & _LastDestMask) | (_FillVal & _LastSourceMask);
    }
}