Skip to content

Commit 8c00547

Browse files
lichrayjwakely
authored andcommitted
[any.nonmembers] fix LWG2769 resolution
Restores the changes made by #1220
1 parent e8c2b45 commit 8c00547

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

source/utilities.tex

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5986,19 +5986,19 @@
59865986

59875987
\begin{itemdescr}
59885988
\pnum
5989-
Let \tcode{U} be the type \tcode{remove_cv_t<remove_reference_t<ValueType>>}.
5989+
Let \tcode{U} be the type \tcode{remove_cv_t<remove_reference_t<T>>}.
59905990

59915991
\pnum
59925992
\requires
5993-
For the first overload, \tcode{is_constructible_v<ValueType, const U\&>} is \tcode{true}.
5994-
For the second overload, \tcode{is_constructible_v<ValueType, U\&>} is \tcode{true}.
5995-
For the third overload, \tcode{is_constructible_v<ValueType, U>} is \tcode{true}.
5993+
For the first overload, \tcode{is_constructible_v<T, const U\&>} is \tcode{true}.
5994+
For the second overload, \tcode{is_constructible_v<T, U\&>} is \tcode{true}.
5995+
For the third overload, \tcode{is_constructible_v<T, U>} is \tcode{true}.
59965996
Otherwise the program is ill-formed.
59975997

59985998
\pnum
59995999
\returns
6000-
For the first and second overload, \tcode{static_cast<ValueType>(*any_cast<U>(\&operand))}.
6001-
For the third overload, \tcode{static_cast<ValueType>(std::move(*any_cast<U>(\&operand)))}.
6000+
For the first and second overload, \tcode{static_cast<T>(*any_cast<U>(\&operand))}.
6001+
For the third overload, \tcode{static_cast<T>(std::move(*any_cast<U>(\&operand)))}.
60026002

60036003
\pnum
60046004
\throws

0 commit comments

Comments
 (0)