概念TS检查将忽略私有访问修饰符

我想写一个可索引的概念，意味着一个序列要么具有返回RandomAccessIterator的开始/结束，要么定义了operator []并返回非空类型的值。

我将Stroustrup的文章中的想法用于序列概念，并将其扩充为：

template <class T>
concept bool Indexable = Sequence<T> || requires(T t, size_t n) {
    { t[n] } -> NotVoid;
};

它适用于大多数情况，但不适用于以下情况：

struct Bad {
    std::vector<int> nums;

private:
    int& operator[](size_t ind) {
        return nums[ind];
    }
};

static_assert(!Indexable<Bad>, "fail");

由于某种原因，我的概念忽略了operator []被定义为私有并返回true的事实。我想念什么？

这是GCC错误＃67225“具有受限结果的表达约束会关闭访问检查”，该问题将在GCC10中修复。