1 2 3 4 5 6 7 8 9 10 11
// PR c++/86193 // CWG 455 (active) // { dg-options "" } // clear -pedantic-errors template<class T> struct value_type; template<class T, typename value_type<T>::type V> struct A; template<class T, int V> struct A<T*, V> { }; // { dg-warning "not more specialized" }