1*1844ab77STom Roeder template <typename T>
f()2*1844ab77STom Roeder void f() {
3*1844ab77STom Roeder   T x;
4*1844ab77STom Roeder   _Static_assert(_Generic(x, float : 0, int : 1), "Incorrect semantics of _Generic");
5*1844ab77STom Roeder }
6