template <class baz> struct bar { typedef typename baz::typename rebind<int> foo; // { dg-error "" } };