SeqAn's official repository. Contribute to seqan/seqan development by creating an account on GitHub.

template <std::size_t N1, std::size_t N2>
struct C;

template <std::size_t N>
struct C<N, N + 1> {}; // not an error in clang. see also http://eel.is/c++draft/temp.class.spec#match-example-3

template <typename T>
struct integral_constant { static constexpr std::size_t value = sizeof(T); };

template <typename T>
constexpr std::size_t size() { return sizeof(T); }

template <typename T, std::size_t N>
struct S;

template <typename T>
struct S<T, sizeof(T)> {}; // not an error in clang

template <typename T>
struct S<T, integral_constant<T>::value> {};

template <typename T>
struct S<T, size<T>()> {};