From: dgregor_at_[hidden]
Date: 2008-04-17 14:24:06
Author: dgregor
Date: 2008-04-17 14:24:06 EDT (Thu, 17 Apr 2008)
New Revision: 44510
URL: http://svn.boost.org/trac/boost/changeset/44510
Log:
Deal with default arguments of local classes
Text files modified:
sandbox/committee/concepts/wording/wording.tex | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-04-17 14:24:06 EDT (Thu, 17 Apr 2008)
@@ -4569,7 +4569,10 @@
compound statement that is an unconstrained context,}
\additemConcepts{a default template argument in a
\mbox{\techterm{template-parameter}} is an unconstrained context,}
- \additemConcepts{a default argument in a \mbox{\techterm{parameter-declaration}}.}
+ \additemConcepts{a default argument in a
+ \mbox{\techterm{parameter-declaration}}}\addedCC{, unless that
+ default argument occurs within a local class
+ (\mbox{\ref{class.local}}).}
\additemCC{the \mbox{\techterm{requires-clause}}, \mbox{\techterm{type-specifier}}, and \mbox{\techterm{declarator}} of a constrained member (\mbox{\ref{class.mem}}) are unconstrained contexts, and}
\additemCC{a member template of a constrained template is an
unconstrained context (\mbox{\ref{temp.mem}}). \mbox{\enternote}