File tree Expand file tree Collapse file tree 1 file changed +5
-4
lines changed
Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -74,9 +74,6 @@ struct AccessTraits<
7474namespace Concepts
7575{
7676
77- template <class T , class U >
78- concept not_same_as = !std::same_as<T, U>;
79-
8077template <typename T>
8178concept AccessTraits = requires () {
8279 typename ArborX::AccessTraits<T>::memory_space;
@@ -86,9 +83,13 @@ concept AccessTraits = requires() {
8683 {
8784 AccessTraits<T>::size (v)
8885 } -> std::integral;
86+ // Cannot check return type of get() here as we need to test for non-void, but
87+ // there's no not_same_as concept, and !std::same_as<void> does not work
88+ AccessTraits<T>::get (v, 0 );
89+ } && !requires (T const &v) {
8990 {
9091 AccessTraits<T>::get (v, 0 )
91- } -> not_same_as <void >;
92+ } -> std::same_as <void >;
9293};
9394
9495template <typename T>
You can’t perform that action at this time.
0 commit comments