Title
When is an alias template specialization dependent?
Status
drafting
Section
13.7.8 [temp.alias]
Submitter
Maxim Kartashev

Created on 2016-03-01.00:00:00 last changed 75 months ago

Messages

Date: 2022-02-18.07:47:23

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>();
  } 

See also issues 1558, 1979, and 2037.

History
Date User Action Args
2018-02-27 00:00:00adminsetstatus: open -> drafting
2016-03-01 00:00:00admincreate