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