[Boost-commit] svn:boost r48357 - sandbox/committee/concepts/wording

From: dgregor_at_[hidden]
Date: 2008-08-24 18:33:38

Author: dgregor
Date: 2008-08-24 18:33:37 EDT (Sun, 24 Aug 2008)
New Revision: 48357
URL: http://svn.boost.org/trac/boost/changeset/48357

Log:
Remove implication of MoveConstructible<T> from function parameter types
Text files modified: 
   sandbox/committee/concepts/wording/wording.tex |     8 +++++++-                                
   1 files changed, 7 insertions(+), 1 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex	(original)
+++ sandbox/committee/concepts/wording/wording.tex	2008-08-24 18:33:37 EDT (Sun, 24 Aug 2008)
@@ -137,6 +137,12 @@
 
 \item Specify precisely which built-in candidates get defined when
   archetypes are present (\ref{over.built}).
+
+\item The \tcode{MoveConstructible<T>} requirement is no longer
+  propagated from the types of function parameters
+  (\ref{temp.req.impl}). This change brings concepts in sync with
+  generalized initializer lists (N2672), which permit a function
+  parameter to be direct-initialized.
 \end{itemize}
 
 \section*{Typographical conventions}
@@ -5676,7 +5682,7 @@
 }
 \end{codeblock}
 
-\additemConcepts{For every type archetype \mbox{\tcode{T}} that is the type
+\item \removedCCC{For every type archetype \mbox{\tcode{T}} that is the type
   of a parameter in a function type, the requirement
   \mbox{\tcode{MoveConstructible<T>}} is implied.}
 \addedConcepts{\exitexample}