This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/66937] Do not compare constraints for unconstrained template template parameters
- From: "rbock at eudoxos dot de" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 07 Aug 2015 04:47:11 +0000
- Subject: [Bug c++/66937] Do not compare constraints for unconstrained template template parameters
- Auto-submitted: auto-generated
- References: <bug-66937-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66937
--- Comment #3 from Roland B <rbock at eudoxos dot de> ---
(In reply to Jason Merrill from comment #1)
> Author: jason
> Date: Thu Aug 6 17:42:25 2015
> New Revision: 226687
>
> URL: https://gcc.gnu.org/viewcvs?rev=226687&root=gcc&view=rev
> Log:
> PR c++/66937
> * pt.c (is_compatible_template_arg): A template template parameter
> with unconstrained parameters can match an argument with
> constrained parameters.
>
> Added:
>
> branches/c++-concepts/gcc/testsuite/g++.dg/concepts/template-template-parm1.C
Thanks for the commit. Works fine for me!
In the test file (template-template-parm1.C) I guess you should edit the
comment in the last line a bit.
```
// This fails, but should not
```
Not true anymore, since it compiles just fine :-)
Thanks again,
Roland