lambda parameters instead of id variables

[GunpowderGuy]

Could having to use id variables be replaced with lambda parameters?
eg: instead of this

Id<string> text;
match(variant)(
pattern | as<string>(text) = [&] {
            std::cout << "Text message: " << *text << std::endl;
        })

this

match(variant)(
pattern | as<string> = [](const string& text) {
            std::cout << "Text message: " << text << std::endl;
        })

[GunpowderGuy]

@BowenFu If that isn't possible i propose to add an special match for variants that works as syntactic sugar for visit, with functionality similar to the "overloaded" type defined here : https://en.cppreference.com/w/cpp/utility/variant/visit
That would also allow for the thoroughness of cases to be checked which i gather cant be done for general pattern matching without language support

[BowenFu]

@GunpowderGuy Will this meet your requirements?
https://godbolt.org/z/oo38T9xK3

    match(x)(
        visit<std::string>(
            [](const std::string& text) {
                std::cout << "Text message: " << text << std::endl;
            }),
        visit<int32_t>(
            [](const int32_t num) {
                std::cout << "Number: " << num << std::endl;
            })
        );

---

Note: We need to store the value instead ref in PatternPair to fix the memory issue.
https://godbolt.org/z/Yrhj8T7PM should be the best we can use with current release.

    match(x)(
        visit<std::string>(
            [](const std::string& text) {
                std::cout << "Text message: " << text << std::endl;
            }) = []{},
        visit<int32_t>(
            [](const int32_t num) {
                std::cout << "Number: " << num << std::endl;
            }) = []{}
        );

[BowenFu]

The memory issue has been fixed.