std::variant<double,std::string,double> v {};

v = "rev dodgson";

test(cpp2::move(v));

std::optional<int> o {};

test(o);

o = 42;

test(cpp2::move(o));

std::any a {0};

test(a);

a = cpp2::impl::as_<std::string>("plugh");

test(cpp2::move(a));

test(0);

test(1);

test(2);

test(3);

test(-42);

test(cpp2::impl::as_<std::string>("xyzzy"));

test(3.14);

auto forty_two {42};

std::cout << [&] () -> std::string { auto&& _expr = x;

if (cpp2::impl::is(_expr, 0)) { if constexpr( requires{"zero";} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF(("zero")),std::string> ) return "zero"; else return std::string{}; else return std::string{}; }

else if (cpp2::impl::is(_expr, (in(1, 2)))) { if constexpr( requires{"1 or 2";} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF(("1 or 2")),std::string> ) return "1 or 2"; else return std::string{}; else return std::string{}; }

else if (cpp2::impl::is(_expr, in_2_3)) { if constexpr( requires{"3";} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF(("3")),std::string> ) return "3"; else return std::string{}; else return std::string{}; }

else if (cpp2::impl::is(_expr, cpp2::move(forty_two))) { if constexpr( requires{"the answer";} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF(("the answer")),std::string> ) return "the answer"; else return std::string{}; else return std::string{}; }

else if (cpp2::impl::is<int>(_expr)) { if constexpr( requires{"integer " + cpp2::to_string(x);} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF(("integer " + cpp2::to_string(x))),std::string> ) return "integer " + cpp2::to_string(x); else return std::string{}; else return std::string{}; }

else if (cpp2::impl::is<std::string>(_expr)) { if constexpr( requires{cpp2::impl::as<std::string>(x);} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF((cpp2::impl::as<std::string>(x))),std::string> ) return cpp2::impl::as<std::string>(x); else return std::string{}; else return std::string{}; }

else return "(no match)"; }

() << "\n";