On Mon, Nov 25, 2024 at 5:23 PM mauro russo <ing.russomauro_at_[hidden]>
wrote:

>
> > Each guide has, at minimum, all the template parameters
> > of the class.
> > Under [over.match.class.deduct]/5, overload resolution is
> > done with all the guides. In any one particular guide, if any
> > template argument fails to be deduced in a guide, that guide
> > does not produce a candidate ([over.match.funcs.general]/8).
> > If no guide allows deduction of all template parameters, there
> > are no candidates and overload resolution fails, resulting in
> > an ill-formed program ([over.match.best.general]/3).
>
> ...
>
> > [dcl.class.type.deduct]/1
>
> Thank you.
>
> Just a dobut: do you believe there is room to refer
> the sections you mentioned,
> from [over.match.class.deduct] ?
> Does it make sense ?
>
>>
I don't think that's necessary. The general properties of overload
resolution that i mentioned should not have to be cross-referenced from
every section of the standard that calls for overload resolution to be
performed.

-- 
*Brian Bi*