https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66218
--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> --- Author: jason Date: Thu Jul 16 22:39:22 2015 New Revision: 225911 URL: https://gcc.gnu.org/viewcvs?rev=225911&root=gcc&view=rev Log: PR c++/66218 * gcc/cp/constraint.cc (satisfy_argument_deduction_constraint): Call tsubst_constraint here. (tsubst_compound_requirement): And here. (do_auto_deduction): Not here. Added: branches/c++-concepts/gcc/testsuite/g++.dg/concepts/placeholder3.C branches/c++-concepts/gcc/testsuite/g++.dg/concepts/placeholder4.C Modified: branches/c++-concepts/ChangeLog.concepts branches/c++-concepts/gcc/cp/constraint.cc branches/c++-concepts/gcc/cp/pt.c