Author
anonymous
almost 8 years ago
Language
Compiler
Options
Author
anonymous
almost 8 years ago
$ prog.cc:8:8: error: class template partial specialization contains a template parameter that cannot be deduced; this partial specialization will never be used [-Wunusable-partial-specialization]
struct match_class<S<U...>, S<V...>> : std::true_type{};
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
prog.cc:7:16: note: non-deducible template parameter 'T'
template<class T, template<T...> class S, T... U, T... V>
^
prog.cc:24:5: error: static_assert failed "Fail"
static_assert(match_class<f1, f2>::value, "Fail");
^ ~~~~~~~~~~~~~~~~~~~~~~~~~~
prog.cc:25:5: error: static_assert failed "Fail"
static_assert(match_class<b1, b2>::value, "Fail");
^ ~~~~~~~~~~~~~~~~~~~~~~~~~~
3 errors generated.
Exit Code:
1