// 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" } |