aboutsummaryrefslogtreecommitdiff
path: root/libphobos/libdruntime
diff options
context:
space:
mode:
authorJason Merrill <jason@redhat.com>2021-04-09 18:02:38 -0400
committerJason Merrill <jason@redhat.com>2021-04-10 00:06:55 -0400
commit1a19d334ce493ec2ce2daeac74beef63fd67e2bc (patch)
tree86eb0cba26a951cf3f65afb782d031b1b1a6e150 /libphobos/libdruntime
parente89055f90cff9fb6f565b9374e1ab74f805682fb (diff)
downloadgcc-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')
0 files changed, 0 insertions, 0 deletions