| // PR c++/53858 | |
| // { dg-do compile { target c++11 } } | |
| template <typename T> struct s0 { typedef T tdef0; }; | |
| template <typename T> struct s1 { typedef T tdef1; }; | |
| template <typename T> using us1 = typename s1<T>::tdef1; | |
| template <typename T, typename TT = typename us1<T>::tdef0> struct s2 {}; | |
| int main () { return 0; } |