[dcl.spec.auto] Add example to show variable redeclaration with 'auto'.

jensmaurer · zygoloid · commit 901b742c1caf · 2019-10-05T22:04:15.000-07:00
CWG2389 Agreement of deduced and explicitly-specified variable types
diff --git a/source/declarations.tex b/source/declarations.tex
@@ -1862,6 +1862,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}
 
