database d1 = client["db"]; database d2; d1 = d2; REQUIRE(!d1); // Expected behavior: assertion passes. Observed behavior: assertion fails.