[Bug c++/124245] New: [reflection] template_of with member alias templates

[mpolacek at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124245

            Bug ID: 124245
           Summary: [reflection] template_of with member alias templates
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mpolacek at gcc dot gnu.org
  Target Milestone: ---

This tracks the FIXME in template_of2.C.

```
#include <meta>
using namespace std::meta;

template<typename T>
struct TS {
  template<typename TT>
  using U = int;
};

static_assert (template_of (^^TS<int>::U<int>) == ^^TS<int>::U);
```

The assert should pass, but we get
template<class T> template<class U> using TS<T>::W = int
v.
                  template<class U> using TS<int>::W = int