Proposed resolution:

Strike [thread.lock.unique.cons] p7:

unique_lock(mutex_type& m, defer_lock_t);

-7- Precondition: If mutex_type is not a recursive mutex the calling thread does not own the mutex.

[ Batavia (2009-05): ]

We agree with the proposed resolution. Move to Tentatively Ready.

[ Summit: ]

Agree, move to review.

Addresses UK 326 [CD1]

The precondition that the mutex is not owned by this thread offers introduces the risk of unnecessary undefined behaviour into the program. The only time it matters whether the current thread owns the mutex is in the lock operation, and that will happen subsequent to construction in this case. The lock operation has the identical pre-condition, so there is nothing gained by asserting that precondition earlier and denying the program the right to get into a valid state before calling lock.