Re: [PATCH] libstdc++: Add missing static_assert to std::expected

2025-03-15 Thread Jonathan Wakely
On Thu, 6 Mar 2025 at 20:13, Jonathan Wakely wrote: > > The r15-2326-gea435261ad58ea change missed a static_assert for > is_move_constructible_v in expected::value()&&. When > exceptions are enabled, the program is ill-formed if the error type is > not move constructible, because we can't construct

Re: [PATCH] libstdc++: Add missing static_assert to std::expected

2025-03-07 Thread Jonathan Wakely
On Thu, 6 Mar 2025 at 20:15, Jonathan Wakely wrote: > On Thu, 6 Mar 2025 at 20:13, Jonathan Wakely wrote: > > > > The r15-2326-gea435261ad58ea change missed a static_assert for > > is_move_constructible_v in expected::value()&&. When > > exceptions are enabled, the program is ill-formed if the er

[PATCH] libstdc++: Add missing static_assert to std::expected

2025-03-06 Thread Jonathan Wakely
The r15-2326-gea435261ad58ea change missed a static_assert for is_move_constructible_v in expected::value()&&. When exceptions are enabled, the program is ill-formed if the error type is not move constructible, because we can't construct the std::bad_expected_access. But when using -fno-exceptions,