A recent paper for C2y has made it so that generic selection expressions can match on a type instead of an expression, and doing this will not perform lvalue conversions. This means that an array-length macro that performs typeċḣecking can replace the confusion it induces with nested generic selection expressions with an entirely new kind of confusion induced by nested typeofs.












