1 // PR c++/9488
2 // Origin: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
3 // { dg-do compile }
4 
5 struct A
6 {
fooA7     template <typename> void foo() {}
8 };
9 
10 template <typename T> struct B
11 {
barB12     void bar() { A().foo<T>(); }
13 };
14 
15 template struct B<int>;
16