1 template<typename, typename = int> struct A;
2 template<typename T> struct B;
3 
4 template<typename, typename> struct A {};
5 template<typename T> struct B : A<T> {};
6 
f()7 inline void f() {
8   B<int> bi;
9 }
10