Концепція перевірки TS ігнорує модифікатор приватного доступу

Я хочу написати поняття "Індексируемое", яке означає, що послідовність або починається / закінчується, що повертає RandomAccessIterator, або оператор [], визначається і повертає значення недійсного типу.

Я використав ідеї зі статті Stroustrup для концепції Sequence та доповнив її:

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");

Чомусь моя концепція ігнорує той факт, що оператор [] визначений приватним і повертає істинне. Що я пропускаю?

Це помилка GCC № 67225 "Обмеження виразу із обмеженим результатом вимикає перевірку доступу" , яке буде зафіксовано в GCC10.