For a newly-constructed
x.mutex() is equal to the value of
prior to the constructor invocation, and
x.owns_lock() is equal to the value of
prior to the constructor invocation.
objects are not
CopyConstructible, so there is
no copy-constructor, only this move constructor