CWG2380 capture-default makes too many references odr-usable

Author: Dawn Perchik

source/basic.tex

@@ -437,7 +437,10 @@
 \begin{itemize}
 \item the intervening declarative region is a block scope, or
 \item the intervening declarative region is the function parameter scope of a \grammarterm{lambda-expression}
-that has a \grammarterm{simple-capture} naming the entity or has a \grammarterm{capture-default}.
+that has a \grammarterm{simple-capture}
+naming the entity or has a \grammarterm{capture-default}, and
+the block scope of the \grammarterm{lambda-expression}
+is also an intervening declarative region.
 \end{itemize}
 \end{itemize}
 
@@ -447,11 +450,13 @@
 \begin{example}
 \begin{codeblock}
 void f(int n) {
-  [] { n = 1; };                // error, \tcode{n} is not odr-usable due to intervening lambda-expression
+  [] { n = 1; };                // error: \tcode{n} is not odr-usable due to intervening lambda-expression
   struct A {
-    void f() { n = 2; }         // error, \tcode{n} is not odr-usable due to intervening function definition scope
+    void f() { n = 2; }         // error: \tcode{n} is not odr-usable due to intervening function definition scope
   };
-  void g(int = n);              // error, \tcode{n} is not odr-usable due to intervening function parameter scope
+  void g(int = n);              // error: \tcode{n} is not odr-usable due to intervening function parameter scope
+  [=](int k = n) {};            // error: \tcode{n} is not odr-usable due to being
+                                // outside the block scope of the \grammarterm{lambda-expression}
   [&] { [n]{ return n; }; };    // OK
 }
 \end{codeblock}