| Issue |
97753
|
| Summary |
Wrong processing of overloaded set within requires-_expression_
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
Fedr
|
This program
```
void f();
void f(int);
template<typename T>
concept C = sizeof(T) == 42;
// accepted by Clang, by why?
static_assert( requires {{ &f } -> C;} );
```
looks ill formed because `&f` is an address of overloaded function. And the program is rejected by GCC and MSVC, but Clang accepts it. Online demo: https://gcc.godbolt.org/z/z8qroqYq6
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
