> 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 ?