On Wed, May 9, 2012 at 4:02 PM, Manuel López-Ibáñez
<lopeziba...@gmail.com> wrote:
> Simple enough. Bootstrapped and regression tested.
>
> The output for the example in the PR is now:
>
> /home/manuel/caret-overload.C:6:6: error: no matching function for
> call to ‘g(int)’
>   g(1);
>      ^
> /home/manuel/caret-overload.C:6:6: note: candidate is:
> /home/manuel/caret-overload.C:2:18: note: template<class T> typename
> T::type g(T)
>  typename T::type g(T);
>                  ^
> /home/manuel/caret-overload.C:2:18: note:   template argument
> deduction/substitution failed:
> /home/manuel/caret-overload.C: In substitution of ‘template<class T>
> typename T::type g(T) [with T = int]’:
> /home/manuel/caret-overload.C:6:6:   required from here
> /home/manuel/caret-overload.C:2:18: error: ‘int’ is not a class,
> struct, or union type
>
> OK?

OK.  Thanks,

-- Gaby

Reply via email to