// RUN: clang -fsyntax-only -verify %s

template<typename T> struct A { };

template<typename T, typename U = A<T*> >
  struct B : U { };

template<>
struct A<int*> { 
  void foo();
};

template<>
struct A<float*> { 
  void bar();
};

void test(B<int> *b1, B<float> *b2) {
  b1->foo();
  b2->bar();
}

Add a test case that goes with the last commit
Add a test case that goes with the last commit

git-svn-id: ffe668792ed300d6c2daa1f6eba2e0aa28d7ec6c@66510 91177308-0d34-0410-b5e6-96231b3b80d8
