1 // PR c++/68666 2 // { dg-options "-std=c++17 -fconcepts" } 3 4 struct A { 5 template <class> 6 static constexpr bool val = true; 7 }; 8 9 template <class T> 10 concept bool C = A::val<T>; 11 12 C{T} struct B {}; 13