On 15 July 2017 at 18:48, Jonathan Wakely <jwak...@redhat.com> wrote: > WG21 just approved this change as a DR for C++17, so that class > template argument deduction works when using std::adopt_lock with a > std::scoped_lock. > > * include/std/mutex (scoped_lock): Reorder std::adopt_lock_t > parameter > as per P0739R0. > * testsuite/30_threads/scoped_lock/cons/1.cc: Reorder arguments. > * testsuite/30_threads/scoped_lock/cons/deduction.cc: Test deduction > with std::adopt_lock_t. > * testsuite/30_threads/scoped_lock/requirements/typedefs.cc: Check > feature-test macro. > > Tested powerpc64le-linux, committed to trunk. > > I think we should also make this change and the r250213 one to > std::variant (which is in the same paper) on gcc-7-branch.
Aye - it doesn't seem sensible to keep the old semantics, our C++17-support is fairly fresh.
