change SFINAE constraint on construct_at (MSVC workaround)

stl/inc/xutility

@@ -129,8 +129,13 @@ _NODISCARD constexpr void* _Voidify_iter(_Iter _It) noexcept {
 }
 
 #if _HAS_CXX20
+#ifdef __EDG__ // TRANSITION, DevCom-10000405
 template <class _Ty, class... _Types,
     class = void_t<decltype(::new (_STD declval<void*>()) _Ty(_STD declval<_Types>()...))>>
+#else // ^^^ no workaround // workaround vvv
+template <class _Ty, class... _Types,
+    void_t<decltype(::new (_STD declval<void*>()) _Ty(_STD declval<_Types>()...))>* = nullptr>
+#endif // TRANSITION, DevCom-10000405
 constexpr _Ty* construct_at(_Ty* const _Location, _Types&&... _Args) noexcept(
     noexcept(::new (_Voidify_iter(_Location)) _Ty(_STD forward<_Types>(_Args)...))) /* strengthened */ {
     return ::new (_Voidify_iter(_Location)) _Ty(_STD forward<_Types>(_Args)...);

tests/std/test.lst

@@ -195,6 +195,7 @@ tests\GH_002299_implicit_sfinae_constraints
 tests\GH_002307_usual_scope_guard
 tests\GH_002488_promise_not_default_constructible_types
 tests\GH_002581_common_reference_workaround
+tests\GH_002620_construct_at_workaround
 tests\LWG2597_complex_branch_cut
 tests\LWG3018_shared_ptr_function
 tests\LWG3146_excessive_unwrapping_ref_cref

tests/std/tests/GH_002620_construct_at_workaround/env.lst

@@ -0,0 +1,4 @@
+# Copyright (c) Microsoft Corporation.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+RUNALL_INCLUDE ..\usual_20_matrix.lst

tests/std/tests/GH_002620_construct_at_workaround/test.cpp

@@ -0,0 +1,33 @@
+// Copyright (c) Microsoft Corporation.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+#include <memory>
+
+using namespace std;
+
+struct S {
+    int v;
+    S(int v) : v(v) {}
+    S(const S&) = delete;
+};
+
+union U {
+    char c;
+    S s;
+    U() : c{} {}
+    ~U() noexcept {}
+};
+
+struct copy_elider {
+    operator S() const {
+        return S(42);
+    }
+};
+
+int main() {
+    U u;
+    // GH-2620: <xutility>: SFINAE constraint on construct_at prevents emplacing immovable objects with copy elision
+#ifndef __EDG__ // TRANSITION, DevCom-10000388
+    construct_at(&u.s, copy_elider{});
+#endif // TRANSITION, DevCom-10000388
+}