Add _Static_assert when compiling server and user stubs.

This is only done when data is inlined with a concrete size. It
ensures the C and Mig types have the same size in the target arch.

Tested by building the hurd package. No assertions were triggered.

Message-Id: <YekIQaxvs+4FrHyw@viriathus>

1 files changed, 4 insertions, 2 deletions

diff --git a/tests/good/case.defs b/tests/good/case.defs
index 25ba510..479f733 100644
--- a/tests/good/case.defs
+++ b/tests/good/case.defs
@@ -19,9 +19,11 @@
 /* Tests some keywords with different casing.  */
 SUBSYSTEM myroutine 100;
 
-TyPe int = MACH_MSG_TYPE_INTEGER_64;
+import <stdint.h>;
+
+TyPe uint64_t = MACH_MSG_TYPE_INTEGER_64;
 typE mach_port_t = MACH_MSG_TYPE_COPY_SEND;
 
 RouTine factorial(port : mach_port_t;
                   n : int;
-                  out result : int);
+                  out result : uint64_t);