Clang accepts invalid code where a concept checking is missed
Open
accepts-invalid
clang:frontend
concepts
diverges-from:gcc
regression:22
- Dominant language
- LLVM
- Stars
- 40.5k
- Forks
- 18.7k
- PR merge metrics
- PR metrics pending
Description
From https://github.com/llvm/llvm-project/pull/186889/changes/BASE..45e80d9c1906a1f2ae463897eeb3561674f0b1b7#diff-b3e33dd69feb56268701f97e6f53a30d3623cda1d04d1bc08bb4fa07eae37844
https://gcc.godbolt.org/z/84zYq7nd3
This was rejected in Clang 21.
Contributor guide
Research direction
Start with the linked Godbolt reproduction and compare its behavior with the linked LLVM pull request, which contains the referenced change. Determine the missing concept check and confirm the corrected behavior against the same example; the payload names no source file or test to run.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100