template <template <typename T, T a> class U, U<int, 42> b> struct C;

Вроде не баян

Код некорректный, Комо его тоже ругает

"ComeauTest.c", line 1: error: a nontype template parameter may not have class type
template <template <class T, T a> class U, U<int, 42> b> struct C;
^

Но как исправить не пойму.