diff --git a/system/vulkan_enc/vk_util.h b/system/vulkan_enc/vk_util.h
index 3638043b487d6ecb92e18c2d7fd45cd5777af4f6..e2f51c4948e7980b7d20c4fd717df985276f8ea7 100644
--- a/system/vulkan_enc/vk_util.h
+++ b/system/vulkan_enc/vk_util.h
@@ -194,8 +194,8 @@ __vk_find_struct(void *start, VkStructureType sType)
 
 template <class T> void vk_is_vk_struct(T *s)
 {
-    static_assert(sizeof(s->sType) == sizeof(VkStructureType));
-    static_assert(sizeof(s->pNext) == sizeof(void*));
+    static_assert(sizeof(s->sType) == sizeof(VkStructureType), "Vulkan structures has the sType field of type VkStructureType");
+    static_assert(sizeof(s->pNext) == sizeof(void*), "Vulkan structures has the pNext field of void*");
 }
 
 template <class T, class H> T* vk_find_struct(H* head, VkStructureType sType)