| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830 |
- #include <catch2/catch.hpp>
- #include <tl/expected.hpp>
- #define TOKENPASTE(x, y) x##y
- #define TOKENPASTE2(x, y) TOKENPASTE(x, y)
- #undef STATIC_REQUIRE
- #define STATIC_REQUIRE(e) \
- constexpr bool TOKENPASTE2(rqure, __LINE__) = e; \
- (void)TOKENPASTE2(rqure, __LINE__); \
- REQUIRE(e);
- TEST_CASE("Map extensions", "[extensions.map]") {
- auto mul2 = [](int a) { return a * 2; };
- auto ret_void = [](int a) { (void)a; };
- {
- tl::expected<int, int> e = 21;
- auto ret = e.map(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.map(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).map(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).map(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.map(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.map(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).map(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).map(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = e.map(ret_void);
- REQUIRE(ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.map(ret_void);
- REQUIRE(ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).map(ret_void);
- REQUIRE(ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).map(ret_void);
- REQUIRE(ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.map(ret_void);
- REQUIRE(!ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.map(ret_void);
- REQUIRE(!ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).map(ret_void);
- REQUIRE(!ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).map(ret_void);
- REQUIRE(!ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- // mapping functions which return references
- {
- tl::expected<int, int> e(42);
- auto ret = e.map([](int& i) -> int& { return i; });
- REQUIRE(ret);
- REQUIRE(ret == 42);
- }
- }
- TEST_CASE("Map error extensions", "[extensions.map_error]") {
- auto mul2 = [](int a) { return a * 2; };
- auto ret_void = [](int a) { (void)a; };
- {
- tl::expected<int, int> e = 21;
- auto ret = e.map_error(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.map_error(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).map_error(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).map_error(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.map_error(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 42);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.map_error(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 42);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).map_error(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 42);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).map_error(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 42);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = e.map_error(ret_void);
- REQUIRE(ret);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.map_error(ret_void);
- REQUIRE(ret);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).map_error(ret_void);
- REQUIRE(ret);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).map_error(ret_void);
- REQUIRE(ret);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.map_error(ret_void);
- REQUIRE(!ret);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.map_error(ret_void);
- REQUIRE(!ret);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).map_error(ret_void);
- REQUIRE(!ret);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).map_error(ret_void);
- REQUIRE(!ret);
- }
- }
- TEST_CASE("And then extensions", "[extensions.and_then]") {
- auto succeed = [](int a) { (void)a; return tl::expected<int, int>(21 * 2); };
- auto fail = [](int a) { (void)a; return tl::expected<int, int>(tl::unexpect, 17); };
- {
- tl::expected<int, int> e = 21;
- auto ret = e.and_then(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.and_then(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).and_then(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).and_then(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = e.and_then(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 17);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.and_then(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 17);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).and_then(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 17);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).and_then(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 17);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.and_then(succeed);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.and_then(succeed);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).and_then(succeed);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).and_then(succeed);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.and_then(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.and_then(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).and_then(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).and_then(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- }
- TEST_CASE("or_else", "[extensions.or_else]") {
- using eptr = std::unique_ptr<int>;
- auto succeed = [](int a) { (void)a; return tl::expected<int, int>(21 * 2); };
- auto succeedptr = [](eptr e) { (void)e; return tl::expected<int,eptr>(21*2);};
- auto fail = [](int a) { (void)a; return tl::expected<int,int>(tl::unexpect, 17);};
- auto failptr = [](eptr e) { *e = 17;return tl::expected<int,eptr>(tl::unexpect, std::move(e));};
- auto failvoid = [](int) {};
- auto failvoidptr = [](const eptr&) { /* don't consume */};
- auto consumeptr = [](eptr) {};
- auto make_u_int = [](int n) { return std::unique_ptr<int>(new int(n));};
- {
- tl::expected<int, int> e = 21;
- auto ret = e.or_else(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.or_else(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).or_else(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, eptr> e = 21;
- auto ret = std::move(e).or_else(succeedptr);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).or_else(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = e.or_else(fail);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.or_else(fail);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).or_else(fail);
- REQUIRE(ret);
- REQUIRE(ret == 21);
- }
- {
- tl::expected<int, eptr> e = 21;
- auto ret = std::move(e).or_else(failptr);
- REQUIRE(ret);
- REQUIRE(ret == 21);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).or_else(fail);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.or_else(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.or_else(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).or_else(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, eptr> e(tl::unexpect, make_u_int(21));
- auto ret = std::move(e).or_else(succeedptr);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).or_else(succeed);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.or_else(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 17);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.or_else(failvoid);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.or_else(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 17);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.or_else(failvoid);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).or_else(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 17);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).or_else(failvoid);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, eptr> e(tl::unexpect, make_u_int(21));
- auto ret = std::move(e).or_else(failvoidptr);
- REQUIRE(!ret);
- REQUIRE(*ret.error() == 21);
- }
- {
- tl::expected<int, eptr> e(tl::unexpect, make_u_int(21));
- auto ret = std::move(e).or_else(consumeptr);
- REQUIRE(!ret);
- REQUIRE(ret.error() == nullptr);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).or_else(fail);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 17);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).or_else(failvoid);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- }
- TEST_CASE("Transform extensions", "[extensions.tronsfarm]") {
- auto mul2 = [](int a) { return a * 2; };
- auto ret_void = [](int a) { (void)a; };
- {
- tl::expected<int, int> e = 21;
- auto ret = e.transform(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.transform(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).transform(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).transform(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 42);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.transform(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.transform(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).transform(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).transform(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 21);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = e.transform(ret_void);
- REQUIRE(ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.transform(ret_void);
- REQUIRE(ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).transform(ret_void);
- REQUIRE(ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).transform(ret_void);
- REQUIRE(ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.transform(ret_void);
- REQUIRE(!ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.transform(ret_void);
- REQUIRE(!ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).transform(ret_void);
- REQUIRE(!ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).transform(ret_void);
- REQUIRE(!ret);
- STATIC_REQUIRE(
- (std::is_same<decltype(ret), tl::expected<void, int>>::value));
- }
- // mapping functions which return references
- {
- tl::expected<int, int> e(42);
- auto ret = e.transform([](int& i) -> int& { return i; });
- REQUIRE(ret);
- REQUIRE(ret == 42);
- }
- }
- TEST_CASE("Transform error extensions", "[extensions.transform_error]") {
- auto mul2 = [](int a) { return a * 2; };
- auto ret_void = [](int a) { (void)a; };
- {
- tl::expected<int, int> e = 21;
- auto ret = e.transform_error(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.transform_error(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).transform_error(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).transform_error(mul2);
- REQUIRE(ret);
- REQUIRE(*ret == 21);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.transform_error(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 42);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.transform_error(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 42);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).transform_error(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 42);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).transform_error(mul2);
- REQUIRE(!ret);
- REQUIRE(ret.error() == 42);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = e.transform_error(ret_void);
- REQUIRE(ret);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = e.transform_error(ret_void);
- REQUIRE(ret);
- }
- {
- tl::expected<int, int> e = 21;
- auto ret = std::move(e).transform_error(ret_void);
- REQUIRE(ret);
- }
- {
- const tl::expected<int, int> e = 21;
- auto ret = std::move(e).transform_error(ret_void);
- REQUIRE(ret);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.transform_error(ret_void);
- REQUIRE(!ret);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = e.transform_error(ret_void);
- REQUIRE(!ret);
- }
- {
- tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).transform_error(ret_void);
- REQUIRE(!ret);
- }
- {
- const tl::expected<int, int> e(tl::unexpect, 21);
- auto ret = std::move(e).transform_error(ret_void);
- REQUIRE(!ret);
- }
- }
- struct S {
- int x;
- };
- struct F {
- int x;
- };
- TEST_CASE("14", "[issue.14]") {
- auto res = tl::expected<S,F>{tl::unexpect, F{}};
- res.map_error([](F f) {
- (void)f;
- });
- }
- TEST_CASE("32", "[issue.32]") {
- int i = 0;
- tl::expected<void, int> a;
- a.map([&i]{i = 42;});
- REQUIRE(i == 42);
- auto x = a.map([]{return 42;});
- REQUIRE(*x == 42);
- }
|