LWG3425 condition_variable_any fails to constrain its Lock parameters

Author: burblebee

source/threads.tex

@@ -4692,11 +4692,13 @@
 \rSec3[thread.condition.condvarany.general]{General}
 
 \pnum
-A \tcode{Lock} type shall meet the \oldconcept{BasicLockable}
+In this subclause \ref{thread.condition.condvarany},
+template arguments for template parameters named \tcode{Lock}
+shall meet the \oldconcept{Basic\-Lockable}
 requirements\iref{thread.req.lockable.basic}.
 \begin{note}
 All of the standard
-mutex types meet this requirement. If a \tcode{Lock} type other than one of the
+mutex types meet this requirement. If a type other than one of the
 standard mutex types or a \tcode{unique_lock} wrapper for a standard mutex type
 is used with \tcode{condition_variable_any}, any
 necessary synchronization is assumed to be in place with respect to the predicate associated