------- Comment #6 from cfairles at gcc dot gnu dot org 2008-11-18 17:53 ------- Even more reduced:
template<template<class U, U u> class W> struct A{}; template<class T, T t> struct B{}; int main() { A<B> a; } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37142