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?
Jason