| /* PR c++/4633 */ | |
| /* { dg-do compile } */ | |
| // The 'class X' inside the template used to escape (somehow), | |
| // so that the typedef claimed that it was redefining X. | |
| template <typename T> struct S ; | |
| template <> struct S<float> | |
| { | |
| template <class, class> struct R; | |
| template <class X> struct R<X, X> { }; | |
| typedef int X; | |
| }; |