unify_one_argument was assuming that there's no way we can get a 
type/value mismatch in a nested deduction, but it can happen with 
variadic templates; deduction should just fail in that case.

Tested x86_64-pc-linux-gnu, applying to trunk.