Usage of concepts with non-type template parameter packs in boolean contexts

Question

In C++20, I defined a concept AllIntegral with a non-type template parameter pack auto... T_values. Whilst, GCC 10.1.0 accepts its usage in some co