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

//This instatiation is ok
template<typename T> struct S1
{
    enum E : int;
    enum E : T;
};
template struct S1<int>; //ok

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

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