diff options
| author | Vlad Serebrennikov <serebrennikov.vladislav@gmail.com> | 2024-10-08 22:41:33 +0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-08 22:41:33 +0400 |
| commit | eaea5f6f952b6059cebfe87ea9800a3a6516f9ed (patch) | |
| tree | 8a577aabead5fd3ab18a37f7c23558f4faad33eb /lldb/test/API/python_api/global_module_cache | |
| parent | 9e954b2d6ab2d5704169df523c8588a9d15271d9 (diff) | |
[clang] Add test for CWG110 "Can template functions and classes be declared in the same scope?" (#111446)
[P1787R6](https://wg21.link/p1787r6):
> [CWG110](https://cplusplus.github.io/CWG/issues/110.html) is resolved
by reducing the restriction in [temp.pre] to a note (matching the
behavior of GCC, Clang, and ICC).
Wording: see changes to [temp.pre]/7
I believe the wording for the questions raised in the issue is now the
definition of corresponding declarations that is given in
[[basic.scope.scope]/4](https://eel.is/c++draft/basic.scope#scope-4):
> Two declarations correspond if they (re)introduce the same name, both
declare constructors, or both declare destructors, unless
> — either is a using-declarator, or
> — one declares a type (not a typedef-name) and the other declares a
variable, non-static data member other than of an anonymous union
([class.union.anon]), enumerator, function, or function template, or
> — each declares a function or function template and they do not
declare corresponding overloads.
Then it's used as an input for the definition of potentially conflicting
declarations given in
[[basic.scope.scope]/6](https://eel.is/c++draft/basic.scope#scope-6).
Answering the question in the title: yes, having a function template and
a type with the same name that has the same target scope is well-formed.
A keen eye might spot that the current
[[temp.pre]/7](https://eel.is/c++draft/temp.pre#7) note doesn't reflect
all of the exceptions from the definition of corresponding declarations
in [basic.scope.scope]/4, namely 4.1 and 4.2. I believe the note is
defective, and I opened an editorial PR against the draft to fix that:
https://github.com/cplusplus/draft/pull/7284.
Diffstat (limited to 'lldb/test/API/python_api/global_module_cache')
0 files changed, 0 insertions, 0 deletions
