This is intentional. But my idea for _Generic is to have

_Generic(x, int i: i + 1, float f: f + 1.);

where the i and f then have the correct type, so you do not need to refer to 'x' in those expressions.