diff options
| author | Ville Voutilainen <ville.voutilainen@gmail.com> | 2016-12-29 21:19:59 +0200 |
|---|---|---|
| committer | Ville Voutilainen <ville@gcc.gnu.org> | 2016-12-29 21:19:59 +0200 |
| commit | 2ae2d394c1f9928fcb4bb7efdf9874edb787936a (patch) | |
| tree | 5f999260165757bb14be4c311ec15e229091ee47 /gcc | |
| parent | f3d17b5e71df5bae6d5fe34319058473aa6678d4 (diff) | |
| download | gcc-2ae2d394c1f9928fcb4bb7efdf9874edb787936a.zip gcc-2ae2d394c1f9928fcb4bb7efdf9874edb787936a.tar.gz gcc-2ae2d394c1f9928fcb4bb7efdf9874edb787936a.tar.bz2 | |
Implement LWG 2842, in_place_t check for optional::optional(U&&) should decay U.
Implement LWG 2842, in_place_t check for optional::optional(U&&)
should decay U.
* include/std/optional (_Optional_base(in_place_t, _Args&&...)):
Constrain.
(_Optional_base(in_place_t, initializer_list<_Up>, _Args&&...)):
Turn the int-pack constraint hack into a saner bool.
(_Optional_base<_Tp, false>::_Optional_base(in_place_t, _Args&&...)):
Constrain.
(_Optional_base<_Tp, false>::_Optional_base(in_place_t,
initializer_list<_Up>, _Args&&...)):
Turn the int-pack constraint hack into a saner bool.
(optional(_Up&&)): Constrain against in_place_t.
(optional(in_place_t, _Args&&...)): Constrain.
(constexpr optional(in_place_t, initializer_list<_Up>, _Args&&...)):
Turn the int-pack constraint hack into a saner bool.
* testsuite/20_util/optional/cons/value_neg.cc: Add a test for
a type that is constructible from in_place.
From-SVN: r243966
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions