diff --git a/source/declarations.tex b/source/declarations.tex
index 341c1bc1f3..71e841b7a5 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -3871,6 +3871,8 @@
 
 void h(int x(const int));       // \#3
 void h(int (*)(int)) {}         // defines \#3
+
+void j(int[0]);                 // error: \tcode{int[0]} is not a valid type
 \end{codeblock}
 \end{example}