Skip to content

Add missing implicit SFINAE constraints#2607

Merged
StephanTLavavej merged 13 commits into
microsoft:mainfrom
frederick-vs-ja:implicit-sfinae
Mar 19, 2022
Merged

Add missing implicit SFINAE constraints#2607
StephanTLavavej merged 13 commits into
microsoft:mainfrom
frederick-vs-ja:implicit-sfinae

Conversation

@frederick-vs-ja
Copy link
Copy Markdown
Contributor

Fixes #214
Fixes #2299
Also speculatively implements LWG-3627.

@frederick-vs-ja frederick-vs-ja requested a review from a team as a code owner March 14, 2022 05:58
@StephanTLavavej StephanTLavavej added the bug Something isn't working label Mar 14, 2022
Comment thread stl/inc/any
Comment thread tests/std/tests/GH_002299_implicit_sfinae_constraints/test.compile.pass.cpp Outdated
Comment thread tests/std/tests/GH_002299_implicit_sfinae_constraints/test.compile.pass.cpp Outdated
@StephanTLavavej
Copy link
Copy Markdown
Member

Thanks! Product code looked perfect, so I went ahead and pushed minor test changes (the most significant of which was ensuring that the custom type traits can return both true and false).

@CaseyCarter CaseyCarter removed their assignment Mar 17, 2022
@StephanTLavavej StephanTLavavej self-assigned this Mar 18, 2022
@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 StephanTLavavej merged commit f099e9c into microsoft:main Mar 19, 2022
@StephanTLavavej
Copy link
Copy Markdown
Member

Thanks for improving the library's conformance to this invisible Standardese! 😹 👓 😻

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.

<memory>, <optional>, <any>: Implicit SFINAE constraints STL: "Effects: Equivalent to" implies Constraints

3 participants