1 // PR c++/59937
2 // { dg-do compile { target c++11 } }
3 
truth(const T &)4 template<typename T> constexpr bool truth(const T&) { return true; }
5 
6 template<typename T>
test()7 void test()
8 {
9   int i[1];
10   constexpr bool untrue = !truth(i);
11   static_assert(!untrue, "");
12 }
13