[libcxx-commits] [PATCH] D116808: fix __simple_view concept in std::ranges
Hui via Phabricator via libcxx-commits
libcxx-commits at lists.llvm.org
Fri Jan 7 13:06:14 PST 2022
huixie90 added a comment.
@Quuxplusone
I added tests for `take_view` as it has observable behaviour change. For other views, I can't seem to find observable things. As `simple-view` concept is really about removing the non-const overload if it is same as the `const` overload. The only thing I am thinking of testing is that if `simple-view<BaseView>` is satisfied, we can check if it only has one overload of `begin`. I tried different things
https://godbolt.org/z/W6vsjdG95
https://godbolt.org/z/jbnKf4Yqv
https://godbolt.org/z/j6GP1bMnb
But compilers don't all agree and in one case, it even triggers clang to ICE
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D116808/new/
https://reviews.llvm.org/D116808
More information about the libcxx-commits
mailing list