It would be possible at runtime, yes. Perhaps you can use...
if (sizeof(a) != sizeof(b)) abort();
...type of macro.
It's runtime, but it's better than nothing.
(C++ can do it compile time.)