← Back to context

Comment by o11c

6 months ago

A `_Generic` that only requires its expressions to be valid for the type associated with them, rather than spewing errors everywhere.

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.