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