Update test/result_and_fn1r.cpp

This commit is contained in:
Peter Dimov
2024-02-01 02:22:05 +02:00
parent ab368822a6
commit cedf6eb581

View File

@ -100,6 +100,11 @@ result<void, E2> fk3()
return {};
}
result<void, E2> fk4()
{
return E2();
}
int main()
{
{
@ -375,6 +380,11 @@ int main()
result<void, E2> r2 = r & fk3;
BOOST_TEST( r2.has_value() );
}
{
result<void, E2> r2 = r & fk4;
BOOST_TEST( r2.has_error() );
}
}
{
@ -394,6 +404,11 @@ int main()
result<void, E2> r2 = r & fk3;
BOOST_TEST( r2.has_value() );
}
{
result<void, E2> r2 = r & fk4;
BOOST_TEST( r2.has_error() );
}
}
{
@ -411,6 +426,11 @@ int main()
BOOST_TEST( r2.has_value() );
}
{
result<void, E2> r2 = result<void, E>() & fk4;
BOOST_TEST( r2.has_error() );
}
{
result<void, E> r( in_place_error );
@ -428,6 +448,11 @@ int main()
result<void, E2> r2 = r & fk3;
BOOST_TEST( r2.has_error() );
}
{
result<void, E2> r2 = r & fk4;
BOOST_TEST( r2.has_error() );
}
}
{
@ -447,6 +472,11 @@ int main()
result<void, E2> r2 = r & fk3;
BOOST_TEST( r2.has_error() );
}
{
result<void, E2> r2 = r & fk4;
BOOST_TEST( r2.has_error() );
}
}
{
@ -464,5 +494,10 @@ int main()
BOOST_TEST( r2.has_error() );
}
{
result<void, E2> r2 = result<void, E>( in_place_error ) & fk4;
BOOST_TEST( r2.has_error() );
}
return boost::report_errors();
}