.. an additional observation. Over the last couple of days I wondered
if the amended testcase was really valid, given the non-terminal
parameter pack, beyond the evidence that all the compilers I have at
hand accept it. Note anyway, that we - and all the compilers - already
accept a version of the testcase without the explicit argument and
deduce the pack as empty:
template<typename ...XE> void
fk (XE..., int);
void
w9 (void)
{
fk (0);
}
Thus, it seems to me that at least we have a consistency issue, at some
level. Are we already "inadvertently" implementing P0478R0 or I'm
missing something else?!?
Paolo.