1struct A {2};3 4template <class T>5struct S{6 S(const A &);7};8 9S(const A&) -> S<A>;10 11typedef decltype(S(A())) Type0;12
