#include <type_traits>
template <typename T>
void f(T const&) {
static_assert(std::is_array<T>::value, "T is an array");
}
int main() {
f("foo");
}
I2luY2x1ZGUgPHR5cGVfdHJhaXRzPgoKdGVtcGxhdGUgPHR5cGVuYW1lIFQ+CnZvaWQgZihUIGNvbnN0JikgewogICAgc3RhdGljX2Fzc2VydChzdGQ6OmlzX2FycmF5PFQ+Ojp2YWx1ZSwgIlQgaXMgYW4gYXJyYXkiKTsKfQoKaW50IG1haW4oKSB7CiAgICBmKCJmb28iKTsKfQo=