Factor out the code to set up template argument deduction for a set of

template argument packs. This also ensures that explicitly-specified
template arguments get properly represented in those cases.

llvm-svn: 123180