// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "(193)14.6.2.1 Dependent types [temp.dep.type]p385.cpp"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>

template <class T> class A {
  A* p1; // A is the current instantiation
  A<T>* p2; // A<T> is the current instantiation
  A<T*> p3; // A<T*> is not the current instantiation
  ::A<T>* p4; // ::A<T> is the current instantiation
  class B {
    B* p1; // B is the current instantiation
    A<T>::B* p2; // A<T>::B is the current instantiation
    typename A<T*>::B* p3; // A<T*>::B is not the
// current instantiation
  };
};
template <class T> class A<T*> {
  A<T*>* p1; // A<T*> is the current instantiation
  A<T>* p2; // A<T> is not the current instantiation
};
template <class T1, class T2, int I> struct B {
  B<T1, T2, I>* b1; // refers to the current instantiation
  B<T2, T1, I>* b2; // not the current instantiation
  typedef T1 my_T1;
  static const int my_I = I;
  static const int my_I2 = I+0;
  static const int my_I3 = my_I;
  B<my_T1, T2, my_I>* b3; // refers to the current instantiation
  B<my_T1, T2, my_I2>* b4; // not the current instantiation
  B<my_T1, T2, my_I3>* b5; // refers to the current instantiation
};

template<class T> struct A2 {
  typedef int M;
  struct B2 {
    typedef void M;
    struct C2;
  };
};
template<class T> struct A2<T>::B2::C2 : A2<T> {
  M m; // OK, A2<T>::M
};

template <class T> class A3 {
  static const int i = 5;
  int n1[i]; // i refers to a member of the current instantiation
  int n2[A3::i]; // A3::i refers to a member of the current instantiation
  int n3[A3<T>::i]; // A3<T>::i refers to a member of the current instantiation
  int f();
};
template <class T> int A3<T>::f() {
  return i; // i refers to a member of the current instantiation
}


template<class T> class A5 {
  typedef int type;
  void f5() {
    A5<T>::type i; // OK: refers to a member of the current instantiation
    typename A5<T>::other j; // error: neither a member of the current instantiation nor
// a member of an unknown specialization
  }
};

struct A4 {
  int m;
};
struct B4 {
  int m;
};
template<typename T>
struct C4 : A4, T {
  int f4() {
    return this->m;  // finds A4::m in the template definition context
  }
  int g4() {
    return m;  // finds A4::m in the template definition context
  }
};
template int C4<B4>::f4(); // error: finds both A4::m and B4::m
template int C4444<B4>::g4(); // OK: transformation to class member access syntax
// does not occur in the template definition context; see 9.2.2


int main() {
  std::cout<< msg << std::endl;
  return EXIT_SUCCESS;
}

$ ./cppgl17.sh p385
$ clang++ p385.cpp
p385.cpp:44:3: error: field has incomplete type 'A2::B2::M' (aka 'void')
M m; // OK, A2<T>::M
  ^
p385.cpp:63:17: error: no type named 'other' in 'A5<T>'
typename A5<T>::other j; // error: neither a member of the current instantiation nor
~~~~~~~~~~~~~~~~^~~~~
p385.cpp:76:25: error: member 'm' found in multiple base classes of different types
int f4() { return this->m; } // finds A4::m in the template definition context
                        ^
p385.cpp:79:22: note: in instantiation of member function 'C4<B4>::f4' requested here
template int C4<B4>::f4(); // error: finds both A4::m and B4::m
                     ^
p385.cpp:69:5: note: member found by ambiguous name lookup
int m;
    ^
p385.cpp:72:5: note: member found by ambiguous name lookup
int m;
    ^
p385.cpp:80:19: error: variable cannot be defined in an explicit instantiation; if this declaration is meant to be a variable definition,
      remove the 'template' keyword
template int C4444<B4>::g4(); // OK: transformation to class member access syntax
~~~~~~~~~         ^
p385.cpp:80:19: error: expected ';' at end of declaration
template int C4444<B4>::g4(); // OK: transformation to class member access syntax
                  ^
                  ;
p385.cpp:80:19: error: expected unqualified-id
6 errors generated.

$ g++-7 p385.cpp
p385.cpp:80:14: error: 'C4444' is not a template function
 template int C4444<B4>::g4(); // OK: transformation to class member access syntax
              ^~~~~
p385.cpp:80:19: error: expected ';' before '<' token
 template int C4444<B4>::g4(); // OK: transformation to class member access syntax
                   ^
p385.cpp: In instantiation of 'int C4<T>::f4() [with T = B4]':
p385.cpp:79:25:   required from here
p385.cpp:76:25: error: request for member 'm' is ambiguous
 int f4() { return this->m; } // finds A4::m in the template definition context
                   ~~~~~~^
p385.cpp:72:5: note: candidates are: int B4::m
 int m;
     ^
p385.cpp:69:5: note:                 int A4::m
 int m;
     ^

#!/bin/bash
astyle -s2 -c < $1.cpp > $1s2.cpp
cat $1s2.cpp