Skip to content

change SFINAE constraint on construct_at (MSVC workaround) - #2624

Merged
Stephan T. Lavavej (StephanTLavavej) merged 8 commits into
microsoft:mainfrom
fsb4000:fix2620
Jun 19, 2022
Merged

change SFINAE constraint on construct_at (MSVC workaround)#2624
Stephan T. Lavavej (StephanTLavavej) merged 8 commits into
microsoft:mainfrom
fsb4000:fix2620

Conversation

@fsb4000

Copy link
Copy Markdown
Contributor

Fixes #2620

EDG gives error on both version of the constraint.

Also the Developer Community has a maintenance now, so I'll create DevCom bugs later(about EDG and MSVC)

Co-authored-by: A. Jiang <de34@live.cn>
@fsb4000
Igor Zhukov (fsb4000) requested a review from a team as a code owner March 29, 2022 20:24
@StephanTLavavej Stephan T. Lavavej (StephanTLavavej) added the bug Something isn't working label Mar 29, 2022
Comment thread stl/inc/xutility Outdated
Comment thread stl/inc/xutility Outdated
Comment thread tests/std/tests/GH_002620_construct_at_workaround/test.cpp Outdated
Comment thread tests/std/tests/GH_002620_construct_at_workaround/test.cpp Outdated
@StephanTLavavej

This comment was marked as resolved.

Comment thread tests/std/tests/GH_002620_construct_at_workaround/test.cpp Outdated
@fsb4000

This comment was marked as resolved.

@StephanTLavavej

This comment was marked as outdated.

@StephanTLavavej

Copy link
Copy Markdown
Member

Unfortunately, this is blocked by VSO-1513874 "Changing construct_at SFINAE causes Modules bogus error C2660: 'operator new': function does not take 3 arguments".

@StephanTLavavej Stephan T. Lavavej (StephanTLavavej) added blocked on 17.3p2 and removed blocked Something is preventing work on this labels May 11, 2022
@StephanTLavavej

Copy link
Copy Markdown
Member

The blocking bug has been fixed for 17.3 Preview 2 (I confirmed that this was one of the last fixes to get in).

@StephanTLavavej

Copy link
Copy Markdown
Member

I've pushed a merge with main, resolving a trivial adjacent-add conflict in tests/std/test.lst. This should be unblocked now that we've merged toolset update #2791.

@StephanTLavavej

Copy link
Copy Markdown
Member

I'm mirroring this to the MSVC-internal repo - please notify me if any further changes are pushed.

@StephanTLavavej
Stephan T. Lavavej (StephanTLavavej) merged commit 3f203cb into microsoft:main Jun 19, 2022
@StephanTLavavej

Copy link
Copy Markdown
Member

Thanks for finding out how to exceed the compiler's correctness! ✅ ✅ ✅

@fsb4000
Igor Zhukov (fsb4000) deleted the fix2620 branch June 20, 2022 04:06
Igor Zhukov (fsb4000) added a commit to fsb4000/STL that referenced this pull request Aug 13, 2022
…ft#2624)

Co-authored-by: A. Jiang <de34@live.cn>
Co-authored-by: Stephan T. Lavavej <stl@nuwen.net>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

<xutility>: SFINAE constraint on construct_at prevents emplacing immovable objects with copy elision

5 participants