On Tue, Feb 27, 2018 at 12:26 PM, Jason Merrill wrote:
> The logic in type_unification_real for handling template parms that
> depend on earlier template parms is a bit complicated. It already
> recognizes when the type of the parm depends on something not
> available yet, and it dealt with the c
The logic in type_unification_real for handling template parms that
depend on earlier template parms is a bit complicated. It already
recognizes when the type of the parm depends on something not
available yet, and it dealt with the case where substituting partial
args left some template parm uses