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

>