OK.
On Wed, Dec 14, 2016 at 9:05 AM, Nathan Sidwell wrote:
> This patch fixes 78701. The problematic case with a non-type template arg
> whose default value is dependent on a previous non-type arg that failed to
> be deduced on the first iteration of the loop in type_unification_real.
>
> Just b
This patch fixes 78701. The problematic case with a non-type template
arg whose default value is dependent on a previous non-type arg that
failed to be deduced on the first iteration of the loop in
type_unification_real.
Just before the tsubst_template_arg we've already done:
if (T
