blob: 118af8e867f5f68369533ef6cb7043e4bd4274dd [file] [log] [blame]
// RUN: %clang_cc1 -std=c++2c -verify=cxx26 -fsyntax-only -Wpre-c++26-compat %s
// RUN: %clang_cc1 -std=c++11 -verify=cxx11 -fsyntax-only -Wc++26-extensions %s
template <typename... T>
void f(T... t) {
// cxx26-warning@+2 {{pack indexing is incompatible with C++ standards before C++2c}}
// cxx11-warning@+1 {{pack indexing is a C++2c extension}}
using a = T...[0];
// cxx26-warning@+2 {{pack indexing is incompatible with C++ standards before C++2c}}
// cxx11-warning@+1 {{pack indexing is a C++2c extension}}
using b = typename T...[0]::a;
// cxx26-warning@+2 2{{pack indexing is incompatible with C++ standards before C++2c}}
// cxx11-warning@+1 2{{pack indexing is a C++2c extension}}
t...[0].~T...[0]();
// cxx26-warning@+2 {{pack indexing is incompatible with C++ standards before C++2c}}
// cxx11-warning@+1 {{pack indexing is a C++2c extension}}
T...[0] c;
}
template <typename... T>
void g(T... [1]); // cxx11-warning {{'T...[1]' is no longer a pack expansion but a pack indexing type; add a name to specify a pack expansion}} \
// cxx11-warning {{pack indexing is a C++2c extension}} \
// cxx11-note {{candidate function template not viable}} \
// cxx26-warning {{pack indexing is incompatible with C++ standards before C++2c}} \
// cxx26-note {{candidate function template not viable}}
template <typename... T>
void h(T... param[1]);
template <class T>
struct S {
using type = T;
};
template <typename... T>
void h(typename T... [1]::type); // cxx11-warning {{pack indexing is a C++2c extension}} \
// cxx26-warning {{pack indexing is incompatible with C++ standards before C++2c}}
template <typename... T>
void x(T... [0]); // cxx11-warning {{'T...[0]' is no longer a pack expansion but a pack indexing type; add a name to specify a pack expansion}} \
// cxx11-warning {{pack indexing is a C++2c extension}} \
// cxx26-warning {{pack indexing is incompatible with C++ standards before C++2c}}
void call() {
g<int, double>(nullptr, nullptr); // cxx26-error {{no matching function for call to 'g'}} \
// cxx11-error {{no matching function for call to 'g'}}
h<int, double>(nullptr, nullptr);
h<S<int>, S<const char *>>("hello");
x<int*>(nullptr);
}