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

From: dgregor_at_[hidden]
Date: 2008-04-17 17:00:22

Author: dgregor
Date: 2008-04-17 17:00:22 EDT (Thu, 17 Apr 2008)
New Revision: 44519
URL: http://svn.boost.org/trac/boost/changeset/44519

Log:
Try to prevent overly wacky, dependent things in constrained function template signatures
Text files modified: 
   sandbox/committee/concepts/wording/wording.tex |    18 ++++++++++++++++++                      
   1 files changed, 18 insertions(+), 0 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex	(original)
+++ sandbox/committee/concepts/wording/wording.tex	2008-04-17 17:00:22 EDT (Thu, 17 Apr 2008)
@@ -4634,6 +4634,24 @@
 \end{itemize}
 
 \pnum
+\addedCC{If a type or expression within the signature of a constrained
+template, the \mbox{\techterm{template-parameter-list}} of a
+constrained template, or the \mbox{\techterm{requires-clause}} of a
+constrained template (if any) would be ill-formed if the associated
+context were a constrained context, the program is
+ill-formed. \mbox{\enterexample}}
+\begin{codeblock}
+concept C<typename T> {
+  typename type;
+}
+
+template<typename T> requires C<T>
+typename C<T>::type::inner_type f(T const&); // error: typename C<T>::type::inner_type would be ill-formed 
+                                             // in a constrained context
+\end{codeblock}
+\addedCC{\mbox{\exitexample}}
+
+\pnum
 \addedCC{Within a constrained context, a program shall not refer to an
   unconstrained template.}