diff options
author | Jonathan Wakely <jwakely@redhat.com> | 2023-05-16 22:40:42 +0100 |
---|---|---|
committer | Jonathan Wakely <jwakely@redhat.com> | 2023-05-17 20:01:49 +0100 |
commit | ba490492e51834db645a3165d14f2ba0af62a8c7 (patch) | |
tree | 38e3027137b78cd00c23c359793b307b5c28d455 /libgcc/udivmodsi4.c | |
parent | c8da62cfc6475c4b7213b2164c2c0ec8ea6d96b6 (diff) | |
download | gcc-ba490492e51834db645a3165d14f2ba0af62a8c7.tar.gz |
libstdc++: Implement LWG 3877 for std::expected monadic ops
This was approved in Issaquah 2023. As well as fixing the value
categories, this fixes the fact that we were incorrectly testing E
instead of T in the or_else constraints.
libstdc++-v3/ChangeLog:
* include/std/expected (expected::and_then, expected::or_else)
(expected::transform, expected::transform_error): Fix exception
specifications as per LWG 3877.
(expected<void, E>::and_then, expected<void, E>::transform):
Likewise.
* testsuite/20_util/expected/lwg3877.cc: New test.
Diffstat (limited to 'libgcc/udivmodsi4.c')
0 files changed, 0 insertions, 0 deletions