On Wed, Dec 21, 2016 at 4:06 PM, Jason Merrill wrote:
> The last patch implements paper P0522, which resolves DR150 to clarify
> that default arguments do make a template suitable as an argument to a
> template template-parameter based on a new rule that the
> template-parameter must be more speci
On Wed, Dec 21, 2016 at 4:06 PM, Jason Merrill wrote:
> The fourth patch fixes 42329, where we were failing to bind a template
> template-parameter to a base class of the argument type.
We need to make sure that the argument is a class before we try this.
Tested x86_64-pc-linux-gnu, applied to t
The first patch fixes some issues that I noticed in implementing P0522
with my earlier auto non-type parameters work.
The second patch uses deduction to confirm that a partial
specialization is more specialized than the primary template, which
catches some bugs in the testsuite that the existing c