Skip to content

Commit 7c6322a

Browse files
authored
[stoptoken.concepts] Remove redundant 'swappable<Token>' clause from 'stoppable_token' concept (#7299)
The `stoppable_token<Token>` concept requires both `copyable<Token>` and `swappable<Token>`. However, the `copyable<Token>` requirement already subsumes `movable<Token>`, which subsumes `swappable<Token>`. Therefore the requirement for `swappable<Token>` can be removed from the `stoppable_token` concept definition with no semantic change.
1 parent 7ea8f59 commit 7c6322a

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

source/threads.tex

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -692,8 +692,7 @@
692692
{ Token(tok) } noexcept; // see implicit expression variations\iref{concepts.equality}
693693
} &&
694694
@\libconcept{copyable}@<Token> &&
695-
@\libconcept{equality_comparable}@<Token> &&
696-
@\libconcept{swappable}@<Token>;
695+
@\libconcept{equality_comparable}@<Token>;
697696

698697
template<class Token>
699698
concept @\deflibconcept{unstoppable_token}@ =

0 commit comments

Comments
 (0)