diff --git a/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered.pass.cpp b/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered.pass.cpp index 2e9dd0f9e7df9..d0f90337ec480 100644 --- a/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered.pass.cpp +++ b/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered.pass.cpp @@ -111,13 +111,12 @@ static_assert(!std::totally_ordered >); static_assert(!std::totally_ordered >); struct A {}; -// FIXME(cjdb): uncomment when operator<=> is implemented for each of these types. -// static_assert(!std::totally_ordered >); -// static_assert(!std::totally_ordered >); -// static_assert(!std::totally_ordered >); -// static_assert(!std::totally_ordered >); -// static_assert(!std::totally_ordered >); -// static_assert(!std::totally_ordered >); +static_assert(!std::totally_ordered >); +static_assert(!std::totally_ordered >); +static_assert(!std::totally_ordered >); +static_assert(!std::totally_ordered >); +static_assert(!std::totally_ordered >); +static_assert(!std::totally_ordered >); } // namespace standard_types namespace types_fit_for_purpose { diff --git a/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered_with.pass.cpp b/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered_with.pass.cpp index 54861c1c4248f..5f71a3911539b 100644 --- a/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered_with.pass.cpp +++ b/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered_with.pass.cpp @@ -1034,11 +1034,8 @@ static_assert( static_assert(!check_totally_ordered_with, int>()); struct A {}; -// FIXME(cjdb): uncomment when operator<=> is implemented for each of these types. -// static_assert(!check_totally_ordered_with >, -// std::optional > >()); -// static_assert(!check_totally_ordered_with >, -// std::vector >()); +static_assert(!check_totally_ordered_with >, std::optional > >()); +static_assert(!check_totally_ordered_with >, std::vector >()); struct B {}; static_assert(!check_totally_ordered_with, std::vector >()); static_assert( diff --git a/libcxx/test/std/thread/thread.condition/thread.condition.condvarany/wait_for_pred.pass.cpp b/libcxx/test/std/thread/thread.condition/thread.condition.condvarany/wait_for_pred.pass.cpp index 2dc36938b41e9..67ba06b835297 100644 --- a/libcxx/test/std/thread/thread.condition/thread.condition.condvarany/wait_for_pred.pass.cpp +++ b/libcxx/test/std/thread/thread.condition/thread.condition.condvarany/wait_for_pred.pass.cpp @@ -162,4 +162,10 @@ void test() { } } -int main(int, char**) { return 0; } +int main(int, char**) { + test>(); + test>(); + test>(); + test>(); + return 0; +} diff --git a/libcxx/test/support/test_macros.h b/libcxx/test/support/test_macros.h index 68dd591cb5755..15fc5b69b5207 100644 --- a/libcxx/test/support/test_macros.h +++ b/libcxx/test/support/test_macros.h @@ -11,7 +11,7 @@ #define SUPPORT_TEST_MACROS_HPP #ifdef __has_include -# if __has_include("") +# if __has_include() # include # else # include