tree 3ce9e3b92f9012a21e890e2dd7f38d86389b8703
parent d5e839429771ad4d1a8b3db598cbbc6d93621f75
author Richard Smith <richard-llvm@metafoo.co.uk> 1354776284 +0000
committer Richard Smith <richard-llvm@metafoo.co.uk> 1354776284 +0000

Fix http://stackoverflow.com/questions/13521163

Don't require that, during template deduction, a template specialization type
as a function parameter has at least as many template arguments as one used in
a function argument (not even if the argument has been resolved to an exact
type); the additional parameters might be provided by default template
arguments in the template. We don't need this check, since we now implement
[temp.deduct.call]p4 with an additional check after deduction.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@169475 91177308-0d34-0410-b5e6-96231b3b80d8