// Copyright Microsoft and Project Verona Contributors. // SPDX-License-Identifier: MIT #include #include class Body { public: ~Body() { Logging::cout() << "Body destroyed" << Logging::endl; } }; using namespace verona::cpp; void test_body() { Logging::cout() << "test_body()" << Logging::endl; auto log1 = make_cown(); auto log2 = make_cown(); when(log1, log2) << [=](auto, auto) { Logging::cout() << "log" << Logging::endl; }; } int main(int argc, char** argv) { SystematicTestHarness harness(argc, argv); harness.run(test_body); return 0; }