static-assert

static_assert works fine, is your code that never assert. The template struct X defines low and high as of type IntT. They are both the same type, whatever values they have. When you instantiate the struct (X<char,1,’a’> x) you are telling the compiler that the type of IntT is char and are giving to low … Read more