Embed Notice

Let's say a C program comprises two translation units, each of which declares the following type:

struct list {
struct list *next;
void *payload;
};

For deciding whether they are compatible, the following clause of the language standard applies:

"there shall be a one-to-one correspondence between their members such that each pair of corresponding members are declared with compatible types;"

Apparently the implementation may claim that such self-referential types are not compatible! 🙃