1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify %s 2*67e74705SXin Li // expected-no-diagnostics 3*67e74705SXin Li 4*67e74705SXin Li template<typename T> struct A { }; 5*67e74705SXin Li 6*67e74705SXin Li template<typename T, typename U = A<T*> > 7*67e74705SXin Li struct B : U { }; 8*67e74705SXin Li 9*67e74705SXin Li template<> 10*67e74705SXin Li struct A<int*> { 11*67e74705SXin Li void foo(); 12*67e74705SXin Li }; 13*67e74705SXin Li 14*67e74705SXin Li template<> 15*67e74705SXin Li struct A<float*> { 16*67e74705SXin Li void bar(); 17*67e74705SXin Li }; 18*67e74705SXin Li test(B<int> * b1,B<float> * b2)19*67e74705SXin Livoid test(B<int> *b1, B<float> *b2) { 20*67e74705SXin Li b1->foo(); 21*67e74705SXin Li b2->bar(); 22*67e74705SXin Li } 23