Jason Merrill <ja...@redhat.com> writes: | Before this patch, GCC described the candidate as | | template<int N> decltype (((TypeC*)this)->TypeC::b.template<int U> | typename TypeA<U>::type TypeB::fn [with int U = U, int N = 10, | typename TypeA<U>::type = TypeA<U>::type]()) TypeC::fn()
ouch! | after the patch, it's | | template<int N> decltype (((TypeC*)this)->TypeC::b.fn<N>()) TypeC::fn() | | it doesn't make any sense to have the template header or return type | in the middle of an expression, nor to have the [with ...] template | bindings. agreed. Thanks! -- Gaby
