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