Category "non-type-template-parameter"

Type conflicts in non-type template argument deduction

#include<type_traits> template <typename T, T> struct A { }; template <typename T, T t> void f(A<T, t>) { } int main() { f(A<c