1 // { dg-do compile { target c++14 } } 2 3 template <class T> f(T t)4 constexpr auto f(T t) { return t+1; } 5 6 #define SA(X) static_assert((X),#X) 7 SA(f(1)==2); 8