llvm/clang/test/CXX/dcl.decl/dcl.decomp/p2.cpp

// RUN: %clang_cc1 -std=c++1z -verify %s -Wpedantic

struct X {
  X(int);
  X(const X&) = delete;
};

int array() {
  static int arr[3] = {};
  auto [a, b, c] = arr;
  static_assert(&a != &arr[0]);

  using I3 = int[3];
  auto [a2, b2, c2] = I3{1, 2, 3};

  using X3 = X[3];
  auto [a3, b3, c3] = X3{1, 2, 3};

  auto &[d, e] = arr; // expected-error {{type 'int[3]' decomposes into 3 elements, but only 2 names were provided}}
  auto &[f, g, h, i] = arr; // expected-error {{type 'int[3]' decomposes into 3 elements, but 4 names were provided}}

  auto &[r0, r1, r2] = arr;
  const auto &[cr0, cr1, cr2] = arr;

  static_assert(&arr[0] == &r0);
  static_assert(&arr[0] == &cr0);

  using T = int;
  using T = decltype(r0);
  using U = const int;
  using U = decltype(cr0);

  return r1 + cr2;
}