Documentation / implementation mismatch?
However in the implementation those two types are handled differently:
10.0.1 (develop branch): src/include/packing_inline.h
The man page of the va_arg command states the following:
If there is no next argument, or if type is not compatible with the type of the actual next argument (as promoted according to the default argument promotions), random errors will occur.