// { dg-additional-options "-Wshadow=compatible-local" } | |
// pr c++/82424 we were trying to convert between dependent types. | |
template <typename T> class a | |
{ | |
struct b; | |
template <typename, typename> void c (); | |
}; | |
template <typename T> | |
template <typename, typename> | |
void | |
a<T>::c () | |
{ | |
typedef typename T::b b; // Don't go looking inside the typename | |
T thing; | |
{ | |
T thing; // { dg-warning "shadows a previous local" } | |
} | |
} | |