1 // { dg-do compile { target concepts } }
2 
3 template <class T> struct A
4 {
5   static const int x = 42;
6 };
7 
8 template <class T> concept R42 = A<T&>::x == 42;
9 
10 static_assert (!R42<void>);
11