<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/118198>118198</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
No TypeLoc node for outer nested-name-specifier in pointer-to-member type
</td>
</tr>
<tr>
<th>Labels</th>
<td>
c++,
clang:frontend
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
HighCommander4
</td>
</tr>
</table>
<pre>
In the following code:
```c++
struct Outer {
struct Inner {};
};
using Alias = void (Outer::Inner:: *)();
```
the token `Outer` on the last line does not get a `TypeLoc` node in the AST.
Here's what `TypeLoc::dump()` prints for the `MemberPointerTypeLoc` representing `void (Outer::Inner:: *)()`:
```
MemberPointerTypeLoc 'void (struct Outer::Inner::*)(void)'
|-RecordTypeLoc 'struct Outer::Inner'
| `-CXXRecord 0x5583b9d05430 'Inner'
`-ParenTypeLoc 'void (void)'
`-FunctionProtoTypeLoc 'void (void)' cdecl
`-BuiltinTypeLoc 'void'
```
The `TypeLoc` for the "class" part of the member pointer is a `RecordTypeLoc` for `Outer::Inner`, with no distinct `TypeLoc` for `Outer`.
In other contexts where a nested class type like `Outer::Inner` appears, it's represented as an `ElaboratedTypeLoc` wrapping the `RecordTypeLoc`. The `ElaboratedTypeLoc` exposes a `NestedNameSpecifierLoc` which allows getting at `TypeLoc`s for other elements of the nested-name-specifier.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVE2P4ygQ_TX4UkpE8GcOPrjTG01Lu72tnT7MFZtKzA4GC3B__PsV2Ml4etIrjYQShKlXr149ijsnzxqxJvkdye8TPvne2PqLPPcHMwxcC7RZ0hrxXj9o8D3CyShlXqU-Q2cEkrQhNK6Czqsj7C4s2jhvp87D35NHC6QMRwDL4YPWy2F5T9Lw6ceGNpML-I2S3AFJ7-HFSAGEVREqpEybCDBvgbCGsD1hVfidMS5sZrzA25vvqIEUdAYpKJi5IMWdByU1gjDoQBsPZ_TAw93n9xH_NF24rY1AkHNI8_V5OyN_QYuElQ5ee-7XEZGZmIZxoVVQGK3U3sHJ2AhCCvoXDi3aJyO1R7vKZXG06FD7IAMp6O_UX9Bfe0JocysVEFZeoNfN-iXDNUG4HXdl7Nhh8w92xooV3mc4l4hQzubw7dscCPQtz6u03QuaZykNAOvrBd08cYv6Bt-fmETQ46Q7L41-ssab_42ATmCnoh0hht5NUnn5Mc2VxNpKz3PnVs269pOxTnHnCGMwcuvBnOL5EJWHcZYepJut9ZNyF5yrPVfKFZSwA7xK34M2IKTzUnf-BomVtxd3PmgwvkcLndEe33ywKVoEDhqdRwGRMPj3EUHJ7_hJfuDjiNy6wEP6aPerQ1EAd8Djy_pD8dZY7nFd1qvl4xh8vHj-Y91bWCS9GY1vo3G4SPYYST_yAb-O2MmTRHtJ0suuBx4mkwuvNz4c_kGk-enNgqDCAcNrXJo067HRfMCNu4BvE1GnYp_ueYL1rkxTmrFdUSR9jbxKi11eZS3L00xUFZ7y_akUbZWloszbRNaMsmzH6I5WaUGLLRUl0pTRoi3L_anlJKM4cKm2Sr0MW2PPiXRuwnq3q3b7KlG8ReXiVGbsMlIZI-ww20yfSdqcbGirFuFDfp_YOmBt2unsSEaVdN79QPfSK6wfDVxMHudZFCTO55sChHm3-HbjzWZxcrBLMllV996PLo6HI2HHs_T91G47MxB2DHmXv81ozb_YecKOsURH2HGp8qVm_wUAAP__WDgE-g">