[libcxx-commits] [PATCH] D96230: [libcxx] adds concept `std::move_constructible`
Christopher Di Bella via Phabricator via libcxx-commits
libcxx-commits at lists.llvm.org
Mon Feb 8 21:43:44 PST 2021
cjdb added a comment.
In D96230#2548903 <https://reviews.llvm.org/D96230#2548903>, @Mordante wrote:
> Do we need to do some tests on
> [concept.moveconstructible]/1 http://eel.is/c++draft/concepts#concept.moveconstructible-1 ? Or does `constructible_from` and `convertible_to` guarantee these conditions hold?
The compiler doesn't check the semantic requirements (right now), so there's nothing to test. If we decide to promote violating the semantic requirements from IFNDR to ill-formed, that's when adding the tests will be helpful (right now they'd likely get in the way).
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the libcxx-commits