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