#define CPP2_USE_MODULES Yes

#include "cpp2util.h"

#line 1 "pure2-inspect-expression-in-generic-function-multiple-types.cpp2"

[[nodiscard]] auto main() -> int;

#line 20 "pure2-inspect-expression-in-generic-function-multiple-types.cpp2"

auto test_generic(auto const& x) -> void;

#line 1 "pure2-inspect-expression-in-generic-function-multiple-types.cpp2"

[[nodiscard]] auto main() -> int{

std::variant<int,double> v { 42.0 };

std::any a { cpp2::as<std::string>("xyzzy") };

std::optional<int> o { };

test_generic(3.14);

test_generic(v);

test_generic(a);

test_generic(o);

v = 1;

a = 2;

o = 3;

test_generic(42);

test_generic(v);

test_generic(a);

test_generic(o);

}

auto test_generic(auto const& x) -> void{

std::cout

<< std::setw(30) << typeid(x).name()

<< " value is "

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

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

else if (cpp2::is<std::string>(__expr)) { if constexpr( requires{'"' + cpp2::as<std::string>(x) + '"';} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF('"' + cpp2::as<std::string>(x) + '"'),std::string> ) return '"' + cpp2::as<std::string>(x) + '"'; else return std::string{}; else return std::string{}; }

else return "not an int or string"; }

()

<< "\n";

}

main: () -> int = {

v: std::variant<int, double> = 42.0;

a: std::any = "xyzzy" as std::string;

o: std::optional<int> = ();

test_generic(3.14);

test_generic(v);

test_generic(a);

test_generic(o);

v = 1;

a = 2;

o = 3;

test_generic(42);

test_generic(v);

test_generic(a);

test_generic(o);

}

test_generic: ( x: _ ) = {

std::cout

<< std::setw(30) << typeid(x).name()

<< " value is "

<< inspect x -> std::string {

is int = "integer " + std::to_string(x as int);

is std::string = '"' + x as std::string + '"';

is _ = "not an int or string";

}

<< "\n";

}

pure2-inspect-expression-in-generic-function-multiple-types.cpp2... ok (all Cpp2, passes safety checks)