1 files changed, 6 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index da1bec6..17cbdf6 100644
--- a/src/main.c
+++ b/src/main.c
@@ -269,6 +269,12 @@ int main(int argc, char **argv)
         return 1;
     }
 
+    if (!validate_types(&ctx))
+    {
+        // Type validation failed
+        return 1;
+    }
+
     if (g_config.mode_check)
     {
         // Just verify