Concept TS kontrolü özel erişim değiştiriciyi yok sayar

Bir dizini RandomAccessIterator döndüren başlangıç ​​/ bitiş ya da işleç [] tanımlanmış ve geçersiz türü olmayan bir değer döndürdüğü anlamına gelen dizinlenebilir bir kavram yazmak istiyorum.

Sıra kavramı için Stroustrup'un makalesindeki fikirleri kullandım ve aşağıdakilerle arttırdım:

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

Çoğu durumda çalışır, ancak aşağıdakilerde başarısız olur:

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

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

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

Bazı nedenlerden dolayı benim konseptim, [] operatörünün özel olarak tanımlandığı ve true değerini döndürdüğü gerçeğini yoksayar. Neyi kaçırıyorum?

Bu GCC hatası # 67225 "Kısıtlı bir sonuçla ifade kısıtlaması GCC10'da düzeltilecek olan erişim kontrolünü kapatır" dır.