[C++ PATCH]: Incomplete explicit args

[Gabriel Dos Reis]

Jason Merrill <jason@redhat.com> writes:

[...]

| I don't see how that passage suggests otherwise.  The preceding sentence
| does, however:
| 
| The resulting substituted and adjusted function type is used as the type of
| the function template for template argument deduction.
| 
| which to me means that when we see f<1>, we use "R<Trait<1,x>::m> f(A<x>)"
| in further deduction.  That seems pretty clear to me.

That also matches my reading.

-- Gaby