1 // { dg-do compile { target c++20 } }
2 
3 template <class T> concept is_const = __is_same(T, const T);
4 
f()5 void f() {
6   int x[] = {1,2};
7   const int y[] = {3};
8   const is_const auto [a,b] = x; // { dg-error "constraints" }
9   const is_const auto [c] = y;
10 }
11