LWG2586 Wrong value category used in scoped_allocator_adaptor::construct()

Author: Dawn Perchik

source/utilities.tex

@@ -12988,12 +12988,12 @@
 \textit{OUTERMOST}(*this), p, std::forward<Args>(args)...)}.
 
 \item Otherwise, if \tcode{uses_allocator<T, inner_allocator_type>::value} is \tcode{true} and
-\tcode{is_construc\-tible<T, allocator_arg_t, inner_allocator_type, Args...>::value} is \tcode{true}, calls
+\tcode{is_construc\-tible<T, allocator_arg_t, inner_allocator_type\&, Args...>::value} is \tcode{true}, calls
 \textit{OUTERMOST_ALLOC_TRAITS}(\tcode{*this})\tcode{::construct(\textit{OUTERMOST}(*this),
 p, allocator_arg,\\inner_allocator(), std::forward<Args>(args)...)}.
 
 \item Otherwise, if \tcode{uses_allocator<T, inner_allocator_type>::value} is \tcode{true} and
-\tcode{is_construct\-ible<T, Args..., inner_allocator_type>::value} is \tcode{true}, calls
+\tcode{is_construct\-ible<T, Args..., inner_allocator_type\&>::value} is \tcode{true}, calls
 \textit{OUTERMOST_ALLOC_TRAITS}(*this)::
 \tcode{construct(\textit{OUTERMOST}(*this), p, std::forward<Args>(args)...,\\inner_allocator())}.
 
@@ -13028,15 +13028,15 @@
 
 \item Otherwise, if \tcode{uses_allocator<T1, inner_allocator_type>::value} is \tcode{true}
 and
-\tcode{is_construct\-ible<T1, allocator_arg_t, inner_allocator_type, Args1...>::value}
+\tcode{is_construct\-ible<T1, allocator_arg_t, inner_allocator_type\&, Args1...>::value}
 is
 \tcode{true}, then \tcode{xprime} is
 \tcode{tuple_cat(tuple<allocator_arg_t, inner_allocator_type\&>(
 allocator_arg, inner_allocator()), std::move(x))}.
 
 \item Otherwise, if \tcode{uses_allocator<T1, inner_allocator_type>::value} is
 \tcode{true} and
-\tcode{is_construct\-ible<T1, Args1..., inner_allocator_type>::value} is \tcode{true},
+\tcode{is_construct\-ible<T1, Args1..., inner_allocator_type\&>::value} is \tcode{true},
 then \tcode{xprime} is
 \tcode{tuple_cat(std::move(x), tuple<inner_allocator_type\&>(inner_allocator()))}.
 
@@ -13052,15 +13052,15 @@
 
 \item Otherwise, if \tcode{uses_allocator<T2, inner_allocator_type>::value} is \tcode{true}
 and
-\tcode{is_construct\-ible<T2, allocator_arg_t, inner_allocator_type, Args2...>::value}
+\tcode{is_construct\-ible<T2, allocator_arg_t, inner_allocator_type\&, Args2...>::value}
 is
 \tcode{true}, then \tcode{yprime} is
 \tcode{tuple_cat(tuple<allocator_arg_t, inner_allocator_type\&>(
 allocator_arg, inner_allocator()), std::move(y))}.
 
 \item Otherwise, if \tcode{uses_allocator<T2, inner_allocator_type>::value} is
 \tcode{true} and
-\tcode{is_construct\-ible<T2, Args2..., inner_allocator_type>::value} is \tcode{true},
+\tcode{is_construct\-ible<T2, Args2..., inner_allocator_type\&>::value} is \tcode{true},
 then \tcode{yprime} is
 \tcode{tuple_cat(std::move(y), tuple<inner_allocator_type\&>(inner_allocator()))}.