// { dg-do compile { target c++11 } }

//This error is diagnosed at instantiation time
template<typename T> struct S1
{
    enum E : T;   // { dg-message "previous definition" }
    enum E : int;     // { dg-error "different underlying type" }
};
template struct S1<short>;

template<typename T> struct S2
{
    enum E : T;
    enum E : T;
};
template struct S2<short>;

template<typename T1, typename T2> struct S3
{
    enum E : T1;		// { dg-message "previous definition" }
    enum E : T2;		// { dg-error "different underlying type" }
};
template struct S3<short,short>;

template<typename T1, typename T2> struct S4
{
    enum E : T1; // { dg-message "previous definition" }
    enum E : T2; // { dg-error "different underlying type" }
};
template struct S4<short,char>;