This is not a compiler error but a library error as `default_create' should not be a valid creation procedure for TUPLE. The reason it is still present is that we have too much code relying on it to avoid catcall at runtime with agents and the routine {ROUTINE}.empty_operands.

It is the same kind of issue we have with `make' from ARRAY that is not void-safe.

So the expected output for the test should be VGCC as `default_create' is not available for creation of a TUPLE.

Until we have a fix for all the above, we will have to live with this flaw which is quite limited. I'll raise this in our internal language discussion.