// PR c++/43143
// { dg-options "-std=c++0x" }

template<typename T>
T&& declval();

template<class T, class... Args>
void test() {
  T t(declval<Args>()...);
}

int main() {
  test<const int>(); // OK
  test<int[23]>(); // Error
}