diff options
author | Jason Merrill <jason@redhat.com> | 2021-04-09 18:02:38 -0400 |
---|---|---|
committer | Jason Merrill <jason@redhat.com> | 2021-04-10 00:06:55 -0400 |
commit | 1a19d334ce493ec2ce2daeac74beef63fd67e2bc (patch) | |
tree | 86eb0cba26a951cf3f65afb782d031b1b1a6e150 /libphobos/libdruntime/gcc | |
parent | e89055f90cff9fb6f565b9374e1ab74f805682fb (diff) | |
download | gcc-1a19d334ce493ec2ce2daeac74beef63fd67e2bc.zip gcc-1a19d334ce493ec2ce2daeac74beef63fd67e2bc.tar.gz gcc-1a19d334ce493ec2ce2daeac74beef63fd67e2bc.tar.bz2 |
c++: deduction guide using alias [PR99180]
alias_ctad_tweaks was expecting that all deduction guides for the class
would be suitable for deduction from the alias definition; in this case, the
deduction guide uses 'true' and the alias B uses 'false', so deduction
fails. But that's OK, we just don't use that deduction guide. I also
noticed that we were giving up on deduction entirely if substitution failed
for some guide; we should only give up on that particular deduction guide.
We ought to give a better diagnostic about this case when deduction fails,
but that can wait.
gcc/cp/ChangeLog:
PR c++/99180
PR c++/93295
PR c++/93867
PR c++/99118
PR c++/96873
* pt.c (alias_ctad_tweaks): Handle failure better.
gcc/testsuite/ChangeLog:
PR c++/99180
PR c++/93295
PR c++/93867
PR c++/95486
* g++.dg/cpp2a/class-deduction-alias5.C: New test.
* g++.dg/cpp2a/class-deduction-alias6.C: New test.
* g++.dg/cpp2a/class-deduction-alias7.C: New test.
* g++.dg/cpp2a/class-deduction-alias8.C: New test.
Diffstat (limited to 'libphobos/libdruntime/gcc')
0 files changed, 0 insertions, 0 deletions