[libcxx-commits] [libcxx] [libc++] Remove non-conforming `__bit_reference::operator&` (PR #188714)

[A. Jiang via libcxx-commits]

================
@@ -0,0 +1,100 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// <vector>
+
+// template<class Allocator>
+// class vector<bool, Allocator>::reference;
+
+// Verify that vector<bool, Allocator>::reference has no overloaded operator&.
----------------
frederick-vs-ja wrote:

I think the "negative" test will ensure that we won't provide overloaded `operator&` that just behaves correctly in some aspects.

For positive test , I think we can additionally verify that the type and value of `&ref` are correct, and this also holds for (weird but valid) derived classes from proxy references.

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