1 void f() { 2 int x; 3 float y; 4 _Static_assert(_Generic(x, float : 0, int : 1), "Incorrect semantics of _Generic"); 5 _Static_assert(_Generic(y, float : 1, int : 0), "Incorrect semantics of _Generic"); 6 } 7