https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113966
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>: https://gcc.gnu.org/g:3a6f3354eaaf38b5e6be41e4ebf521d299593a6e commit r14-9066-g3a6f3354eaaf38b5e6be41e4ebf521d299593a6e Author: Patrick Palka <ppa...@redhat.com> Date: Mon Feb 19 11:34:45 2024 -0500 c++: compound-requirement partial substitution [PR113966] When partially substituting a requires-expr, we don't want to perform any additional checks beyond the substitution itself so as to minimize checking requirements out of order. So don't check the return-type-req of a compound-requirement during partial substitution. And don't check the noexcept condition either since we can't do that on templated trees. PR c++/113966 gcc/cp/ChangeLog: * constraint.cc (tsubst_compound_requirement): Don't check the noexcept condition or the return-type-requirement when partially substituting. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/concepts-friend17.C: New test. Reviewed-by: Jason Merrill <ja...@redhat.com>
