| Issue |
52816
|
| Summary |
Visibility of current scope is not properly considered when evaluating a concept.
|
| Labels |
|
| Assignees |
|
| Reporter |
oberdorc
|
I have a concept 'visible' which checks if a certain member function of T is present. It will evaluate to 1 if the function is public and 0 íf it is private. Things, however change if the concept is evaluated from a befriended scope, i.e. 'struct Pred' in the example.Then the concept evaluates to 1 regardless of scope and despite the member function being private. The GNU compiler produces the expected correct output in this case. Output and demonstration source code is attached.
[concepts_console.txt](https://github.com/llvm/llvm-project/files/7750934/concepts_console.txt)
[concepts_source.txt](https://github.com/llvm/llvm-project/files/7750915/concepts_source.txt)
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
