diff options
| author | Patrick Palka <ppalka@redhat.com> | 2023-05-07 12:05:24 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2023-05-07 12:05:24 -0400 |
| commit | b28a7c41fb4697b2d5d9e6e6552b0764bd7d90f0 (patch) | |
| tree | 381878329d26c894a616b768a0fd2d46f2ad54e1 /gcc/testsuite/g++.old-deja | |
| parent | 5dfe5d7d17dc9eefd8e4dd0684e6d8405d2e2759 (diff) | |
| download | gcc-b28a7c41fb4697b2d5d9e6e6552b0764bd7d90f0.zip gcc-b28a7c41fb4697b2d5d9e6e6552b0764bd7d90f0.tar.gz gcc-b28a7c41fb4697b2d5d9e6e6552b0764bd7d90f0.tar.bz2 | |
c++: satisfaction of non-dep member alias template-id
constraints_satisfied_p already carefully checks dependence of template
arguments before proceeding with satisfaction, so the dependence check
in instantiate_alias_template is unnecessary and overly conservative.
Getting rid of it allows us to check satisfaction ahead of time in more
cases as in the below testcase.
gcc/cp/ChangeLog:
* pt.cc (instantiate_alias_template): Exit early upon
error from coerce_template_parms. Remove dependence test
guarding constraints_satisfied_p.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-alias6.C: New test.
Diffstat (limited to 'gcc/testsuite/g++.old-deja')
0 files changed, 0 insertions, 0 deletions