CWG Issue 2236

This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 114a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-04-18

2236. When is an alias template specialization dependent?

Section: 13.7.8 [temp.alias] Status: drafting Submitter: Maxim Kartashev Date: 2016-03-01

There is implementation divergence for this example:

  struct A { typedef int type; };
  template <typename T> using ALIAS = A;

  template <typename T> void foo()
  {
     ALIAS<T>::type t; // Is typename required here?
  }

  int main()
  {
    foo<A>();
  }