Here is another way in which this is a little patch-like. The author observes that: (a) it is desired that _Var(T)* and void* be compatible; (b) however. poin

Here is another way in which this is a little patch-like. The author observes that: (a) it is desired that _Var(T)* and void* be compatible; (b) however. pointers-to-T for different T are not guaranteed to be compatible in general, as a consequence, it is NOT guaranteed that _Var(T)* is compatible with T*, which is a theoretical wart worthy of C++. I can see it becoming especially annoying if you’re trying to introduce _Var(T) polymorphism into a code base that currently uses preprocessor macros that textually substitute types. Perhaps the better solution would be forgo giving void* any special status whatsoever. However, that means that this type of polymorphism can’t be implemented using void* as a polyfill.