Proposed resolution:

This wording is relative to N4659.

1. Edit [refwrap], end of class template reference_wrapper synopsis, as indicated:

   template<class T>
     reference_wrapper(reference_wrapper<T>) -> reference_wrapper<T>;
   

2. Edit [thread.lock.guard], end of class template lock_guard synopsis, as indicated:

   template<class Mutex> lock_guard(lock_guard<Mutex>) -> lock_guard<Mutex>;
   

3. Edit [thread.lock.scoped], end of class template scoped_lock synopsis, as indicated:

   template<class... MutexTypes>
     scoped_lock(scoped_lock<MutexTypes...>) -> scoped_lock<MutexTypes...>;
   

4. Edit [thread.lock.unique], end of class template unique_lock synopsis, as indicated:

   template<class Mutex> unique_lock(unique_lock<Mutex>) -> unique_lock<Mutex>;
   

5. Edit [thread.lock.shared], end of class template shared_lock synopsis, as indicated:

   template<class Mutex> shared_lock(shared_lock<Mutex>) -> shared_lock<Mutex>;
   

[ 2017-07 Toronto Monday issue prioritization ]

Priority 0; move to Ready

There are several deduction guides added to the standard library by P0433R2 that have no effect probably because LWG had not considered late changes to core wording that automatically adds a "copy deduction candidate" ([over.match.class.deduct]) that renders these explicit guides moot.