// 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(); when(log1) << [](auto l) { Logging::cout() << "log" << Logging::endl; when(l.cown()) << [](auto) { Logging::cout() << "log" << Logging::endl; }; }; } int main(int argc, char** argv) { SystematicTestHarness harness(argc, argv); harness.run(test_body); return 0; }