1 // PR c++/81359
2 // { dg-do compile { target c++11 } }
3 
4 template<typename _Tp, typename = decltype(_Tp())>
5 static int test(int);
6 
7 template<typename>
8 static void test(...);
9 
10 template <class T, class = decltype(test<T>(0))>
11 struct A { };
12 
13 struct B
14 {
15   struct C {
16     int i = 0;
17   };
18   A<C> a;
19 };
20