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