On Thu, 21 Jan 2016, Jason Merrill wrote:
On 01/19/2016 10:30 PM, Patrick Palka wrote:* g++.dg/template/unify17.C: XFAIL.Hmm, I'm not comfortable with deliberately regressing this testcase.template <typename T> -void bar (void (T[5])); // { dg-error "array of 'void'" } +void bar (void (T[5])); // { dg-error "array of 'void'" "" { xfail *-*-* } }Can we work it so that T[5] also is un-decayed in the DECL_ARGUMENTS of bar, but decayed in the TYPE_ARG_TYPES?
I think so, I'll try it.
Jason
