// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "(189)14.5.7 Alias templates [temp.alias]p375.cpp"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>

template<class T> struct Alloc { /* ... */ };
template<class T> using Vec = vector<T, Alloc<T>>;
Vec<int> v; // same as vector<int, Alloc<int>> v;
template<class T>
void process(Vec<T>& v)
{ /* ... */ }
template<class T>
void process(vector<T, Alloc<T>>& w)
{ /* ... */ } // error: redefinition
template<template<class> class TT>
void f(TT<int>);
f(v); // error: Vec not deduced
template<template<class,class> class TT>
void g(TT<int, Alloc<int>>);
g(v); // OK: TT = vector

template<typename...> using void_t = void;
template<typename T> void_t<typename T::foo> f();
f<int>(); // error, int does not have a nested type foo

template <class T> struct A;
template <class T> using B = typename A<T>::U;
template <class T> struct A {
typedef B<T> U;
};
B<short> b; // error: instantiation of B<short> uses own type via A<short>::U

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

$ ./cppgl17.sh p375
$ clang++ p375.cpp
p375.cpp:13:31: error: no template named 'vector'; did you mean 'std::vector'?
template<class T> using Vec = vector<T, Alloc<T>>;
                              ^~~~~~
                              std::vector
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/iosfwd:200:28: note: 'std::vector' declared here
class _LIBCPP_TEMPLATE_VIS vector;
                           ^
p375.cpp:14:10: error: implicit instantiation of undefined template 'std::__1::vector<int, Alloc<int> >'
Vec<int> v; // same as vector<int, Alloc<int>> v;
         ^
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/iosfwd:200:28: note: template is declared here
class _LIBCPP_TEMPLATE_VIS vector;
                           ^
p375.cpp:19:14: error: no template named 'vector'; did you mean 'std::vector'?
void process(vector<T, Alloc<T>>& w)
             ^~~~~~
             std::vector
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/iosfwd:200:28: note: 'std::vector' declared here
class _LIBCPP_TEMPLATE_VIS vector;
                           ^
p375.cpp:19:6: error: redefinition of 'process'
void process(vector<T, Alloc<T>>& w)
     ^
p375.cpp:16:6: note: previous definition is here
void process(Vec<T>& v)
     ^
p375.cpp:23:1: error: unknown type name 'f'
f(v); // error: Vec not deduced
^
p375.cpp:26:1: error: unknown type name 'g'
g(v); // OK: TT = vector
^
p375.cpp:30:1: error: C++ requires a type specifier for all declarations
f<int>(); // error, int does not have a nested type foo
^
p375.cpp:30:1: error: template specialization requires 'template<>'
f<int>(); // error, int does not have a nested type foo
^~~~~~
template<> 
p375.cpp:33:20: error: no type named 'U' in 'A<T>'
template <class T> using B = typename A<T>::U;
                   ^~~~~
p375.cpp:35:9: note: in instantiation of template type alias 'B' requested here
typedef B<T> U;
        ^
9 errors generated.

$ g++-7 p375.cpp
p375.cpp:13:31: error: 'vector' does not name a type; did you mean 'wctob'?
 template<class T> using Vec = vector<T, Alloc<T>>;
                               ^~~~~~
                               wctob
p375.cpp:14:1: error: 'Vec' does not name a type; did you mean 'getc'?
 Vec<int> v; // same as vector<int, Alloc<int>> v;
 ^~~
 getc
p375.cpp:16:14: error: variable or field 'process' declared void
 void process(Vec<T>& v)
              ^~~
p375.cpp:16:14: error: 'Vec' was not declared in this scope
p375.cpp:16:14: note: suggested alternative: 'getc'
 void process(Vec<T>& v)
              ^~~
              getc
p375.cpp:16:19: error: expected primary-expression before '>' token
 void process(Vec<T>& v)
                   ^
p375.cpp:16:22: error: 'v' was not declared in this scope
 void process(Vec<T>& v)
                      ^
p375.cpp:19:14: error: variable or field 'process' declared void
 void process(vector<T, Alloc<T>>& w)
              ^~~~~~
p375.cpp:19:14: error: 'vector' was not declared in this scope
p375.cpp:19:14: note: suggested alternative: 'wctob'
 void process(vector<T, Alloc<T>>& w)
              ^~~~~~
              wctob
p375.cpp:19:22: error: expected primary-expression before ',' token
 void process(vector<T, Alloc<T>>& w)
                      ^
p375.cpp:19:31: error: expected primary-expression before '>' token
 void process(vector<T, Alloc<T>>& w)
                               ^~
p375.cpp:19:35: error: 'w' was not declared in this scope
 void process(vector<T, Alloc<T>>& w)
                                   ^
p375.cpp:23:2: error: expected constructor, destructor, or type conversion before '(' token
 f(v); // error: Vec not deduced
  ^
p375.cpp:26:2: error: expected constructor, destructor, or type conversion before '(' token
 g(v); // OK: TT = vector
  ^
p375.cpp:30:1: error: specializing member '::f<int>' requires 'template<>' syntax
 f<int>(); // error, int does not have a nested type foo
 ^~~~~~
p375.cpp: In substitution of 'template<class T> using B = typename A::U [with T = short int]':
p375.cpp:35:14:   required from 'struct A<short int>'
p375.cpp:33:46:   required by substitution of 'template<class T> using B = typename A::U [with T = short int]'
p375.cpp:37:8:   required from here
p375.cpp:33:46: error: invalid use of incomplete type 'struct A<short int>'
 template <class T> using B = typename A<T>::U;
                                              ^
p375.cpp:34:27: note: declaration of 'struct A<short int>'
 template <class T> struct A {
                           ^

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