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