A `_Generic` that only requires its expressions to be valid for the type associated with them, rather than spewing errors everywhere.
replyThis is intentional. But my idea for _Generic is to have
reply_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.