1 // PR c++/94057 - template keyword in a typename-specifier.
2 
3 template <bool> struct A;
4 template <typename, typename> struct B;
5 template <typename T, typename U, typename V> struct B<T U::*, V> {
6   typename A<V::x>::type::type t;
7 };
8