problem with template arguments deduction

[Philippe Sigaud]

On Thu, May 31, 2012 at 8:31 AM, Zhenya <zheny at list.ru> wrote:
> And, one more thing
> if we have the following code:
> template foo (T)
> {
>        auto foo (U) (U arg)
>        {
>        }
> }
> ...
> foo!(int)('!');
> determine whether the compiler that this specialization is to an external
> template?

I'm not sure I understand the question?