[libcxx-commits] [libcxx] [libc++] Implement LWG4072: std::optional comparisons: constrain harder (PR #209968)

Dan Shan via libcxx-commits libcxx-commits at lists.llvm.org
Sun Aug 2 06:57:47 PDT 2026


================
@@ -29,6 +29,9 @@ static_assert(HasOperatorEqual<std::optional<EqualityComparable>, std::optional<
 static_assert(!HasOperatorEqual<std::optional<NonComparable>>);
 static_assert(!HasOperatorEqual<std::optional<EqualityComparable>, std::optional<NonComparable>>);
 
+static_assert(!HasOperatorEqual<std::optional<void*>, std::optional<int>>);
+static_assert(!HasOperatorEqual<std::optional<int>, std::optional<void*>>);
+
----------------
HumanThe2nd wrote:

Thanks for catching that, I've moved them accordingly and added comments with the ticket number.

https://github.com/llvm/llvm-project/pull/209968


More information about the libcxx-commits mailing list