| Issue |
55439
|
| Summary |
The implementation of `std::common_reference` seems to be wrong
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
hewillk
|
```cpp
#include <concepts>
struct A { };
struct B {
B(const A&&) = delete;
operator A&&() const;
};
static_assert(std::same_as<std::common_reference<const A&&, B&&>::type, A>);
static_assert(std::same_as<std::common_reference<const A&&, const B&&>::type, A>);
```
https://godbolt.org/z/1e8Tf3W1P
According to [[meta#trans.other-5]](https://timsong-cpp.github.io/cppwp/meta#trans.other-5), the above two assertions should pass.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
