LWG3877 Incorrect constraints on const-qualified monadic overloads for std::expected

Author: burblebee

source/utilities.tex

@@ -8316,7 +8316,7 @@
 
 \pnum
 \constraints
-\tcode{is_copy_constructible_v<E>} is \tcode{true}.
+\tcode{is_constructible_v<E, decltype(error())>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -8347,7 +8347,7 @@
 
 \pnum
 \constraints
-\tcode{is_move_constructible_v<E>} is \tcode{true}.
+\tcode{is_constructible_v<E, decltype(std::move(error()))>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -8377,7 +8377,7 @@
 
 \pnum
 \constraints
-\tcode{is_copy_constructible_v<T>} is \tcode{true}.
+\tcode{is_constructible_v<T, decltype(value())>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -8408,7 +8408,7 @@
 
 \pnum
 \constraints
-\tcode{is_move_constructible_v<T>} is \tcode{true}.
+\tcode{is_constructible_v<T, decltype(std::move(value()))>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -8439,7 +8439,7 @@
 
 \pnum
 \constraints
-\tcode{is_copy_constructible_v<E>} is \tcode{true}.
+\tcode{is_constructible_v<E, decltype(error())>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -8481,7 +8481,7 @@
 
 \pnum
 \constraints
-\tcode{is_move_constructible_v<E>} is \tcode{true}.
+\tcode{is_constructible_v<E, decltype(std::move(error()))>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -8521,7 +8521,7 @@
 
 \pnum
 \constraints
-\tcode{is_copy_constructible_v<T>} is \tcode{true}.
+\tcode{is_constructible_v<T, decltype(value())>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -8553,7 +8553,7 @@
 
 \pnum
 \constraints
-\tcode{is_move_constructible_v<T>} is \tcode{true}.
+\tcode{is_constructible_v<T, decltype(std::move(value()))>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -9287,7 +9287,7 @@
 
 \pnum
 \constraints
-\tcode{is_copy_constructible_v<E>} is \tcode{true}.
+\tcode{is_constructible_v<E, decltype(error())>>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -9317,7 +9317,7 @@
 
 \pnum
 \constraints
-\tcode{is_move_constructible_v<E>} is \tcode{true}.
+\tcode{is_constructible_v<E, decltype(std::move(error()))>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -9400,7 +9400,7 @@
 
 \pnum
 \constraints
-\tcode{is_copy_constructible_v<E>} is \tcode{true}.
+\tcode{is_constructible_v<E, decltype(error())>} is \tcode{true}.
 
 \pnum
 \mandates
@@ -9440,7 +9440,7 @@
 
 \pnum
 \constraints
-\tcode{is_move_constructible_v<E>} is \tcode{true}.
+\tcode{is_constructible_v<E, decltype(std::move(error()))>} is \tcode{true}.
 
 \pnum
 \mandates