C preprocessor: formal proof of impossibility to create the general purpose emptiness detector macro

Question

There is an opinion that it is impossible to write a general purpose emptiness detector macro:

/*
 * Expands to token 1 if the argument list is empty.
 * Expa