1 // { dg-do compile { target c++11 } } 2 // { dg-options "" } 3 4 #define SA(X) static_assert((X),#X) 5 6 template <class T> f(T t)7 constexpr T f (T t) 8 { 9 return ({ t+1; }); 10 } 11 12 SA(f(42) == 43); 13