Proposed resolution:

Wording relative to N4700.

1. Edit [thread.thread.constr] as indicated:

   template <class F, class... Args> explicit thread(F&& f, Args&&... args);
   

   -3- Requires: […]

   -4- Remarks: This constructor shall not participate in overload resolution if decay_tremove_cvref_t<F> is the same type as std::thread.

2. Edit [futures.task.members] as indicated:

   template <class F>
     packaged_task(F&& f);
   

   -2- Requires: […]

   -3- Remarks: This constructor shall not participate in overload resolution if decay_tremove_cvref_t<F> is the same type as packaged_task<R(ArgTypes...)>.

[ 2018-3-17 Adopted in Jacksonville ]

[ 28-Nov-2017 Moved to Tentatively Ready after five positive votes on the ML. ]

Following P0777R1 "Treating Unnecessary decay", more occurrences can be fixed. When constraints are checking for the same type as thread or a specialization of packaged_task, decaying functions to function pointers and arrays to object pointers can't affect the result.