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