diff --git a/source/declarations.tex b/source/declarations.tex
index 56eae8421a..68a804ce50 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -1875,6 +1875,12 @@
   friend T frf(T);
 };
 auto frf(int i) { return i; }                   // not a friend of \tcode{A<int>}
+extern int v;
+auto v = 17;                                    // OK, redeclares \tcode{v}
+struct S {
+  static int i;
+};
+auto S::i = 23;                                 // OK
 \end{codeblock}
 \end{example}