1 // { dg-do compile { target c++11 } }
2 
3 template <class T>
4 struct A {
5     using Result = T;
6 };
7 template <class A> using Arg = typename A::Result;
8 Arg<A<int>> b;
9 
10