Re: [PATCH] Fix PR c++/66686 (dependent template template substitution)

2015-06-30 Thread Jason Merrill
OK. Jason

Re: [PATCH] Fix PR c++/66686 (dependent template template substitution)

2015-06-30 Thread Patrick Palka
On Sat, Jun 27, 2015 at 2:37 PM, Patrick Palka wrote: > This patch makes coerce_template_template_parm consider a coercion > successful if the result of calling tsubst on a template template parm > is a dependent type even when the desired argument type is non-dependent. > > For the test case belo

[PATCH] Fix PR c++/66686 (dependent template template substitution)

2015-06-27 Thread Patrick Palka
This patch makes coerce_template_template_parm consider a coercion successful if the result of calling tsubst on a template template parm is a dependent type even when the desired argument type is non-dependent. For the test case below, TREE_TYPE (parm) is B and TREE_TYPE (arg) is int. After call