Richard Smith c379d1a424 PR38136: improve handling of template argument deduction of non-trailing ... function parameter packs. This makes our handling of non-trailing function parameter packs consistent between the case of deduction at the top level in a function call and other cases where deduction encounters a non-trailing function parameter pack. Instead of treating a non-trailing pack and all later parameters as being non-deduced, we treat a non-trailing pack as exactly matching any explicitly-specified template arguments (or being an empty pack if there are no such arguments). This corresponds to the "never deduced" rule in [temp.deduct.call]p1, but generalized to all deduction contexts. Non-trailing template argument packs still result in the entire template argument list being treated as non-deduced, as specified in [temp.deduct.type]p9. llvm-svn: 336962		2018-07-12 23:32:39 +00:00
..
temp.arg.explicit	…
temp.deduct	PR38136: improve handling of template argument deduction of non-trailing	2018-07-12 23:32:39 +00:00