LWG-4113 Disallow `has_unique_object_representations<Incomplete[]>`
Open
Nobody has claimed this yet.
compiler
LWG
- Dominant language
- C++
- Stars
- 11.1k
- Forks
- 1.7k
- Avg merge
- 4d 15h
- Merged PRs (30d)
- 22
Description
LWG-4113 Disallow has_unique_object_representations<Incomplete[]>
We need to report this to:
- C1XX
- Clang
- EDG
so they can reject this code:
C:\Temp>type meow.cpp
#include <print>
#include <type_traits>
using namespace std;
struct Incomplete;
int main() {
println("{}", has_unique_object_representations_v<Incomplete[]>);
}
C:\Temp>cl /EHsc /nologo /W4 /std:c++latest /MTd /Od meow.cpp && meow
meow.cpp
false
C:\Temp>clang-cl /EHsc /nologo /W4 /std:c++latest /MTd /Od meow.cpp && meow
false
C:\Temp>cl /EHsc /nologo /W4 /std:c++latest /MTd /Od /c /BE meow.cpp
meow.cpp
C:\Temp>
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Use the included C++ source as meow.cpp and run the shown cl, clang-cl, and /BE command lines. Check whether each of C1XX, Clang, and EDG rejects has_unique_object_representations_v<Incomplete[]>; done means reporting the observed behavior to the listed implementations.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 35/100