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