diff options
| author | Patrick Palka <ppalka@redhat.com> | 2025-03-22 10:15:52 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2025-03-22 10:15:52 -0400 |
| commit | df5fa3a3d0d7f2413c832548c88f76dfe67802fd (patch) | |
| tree | faea47daac6af9f6945945da4b78565ef99ec772 /libstdc++-v3/testsuite/20_util/is_destructible | |
| parent | 4f9e72dd364915dafc03202cc6ad9ddffaee93f3 (diff) | |
| download | gcc-master.zip gcc-master.tar.gz gcc-master.tar.bz2 | |
Complex alias templates (and their dependent specializations) always use
structural equality because we need to treat them as transparent in some
contexts but not others. Structural-ness however wasn't being preserved
during partial instantiation, which for the below testcase leads to the
checking ICE
same canonical type node for different types 'S<int>::P<U>' and 'pair<int, U>'
when comparing those two types with comparing_dependent_aliases set
(from alias_ctad_tweaks).
This patch fixes this by making us preserve structural-ness for
partially instantiated typedefs in general.
PR c++/119379
gcc/cp/ChangeLog:
* pt.cc (tsubst_decl) <case TYPE_DECL>: Preserve structural-ness
of a partially instantiated typedef.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/class-deduction-alias24.C: New test.
Reviewed-by: Jason Merrill <jason@redhat.com>
Diffstat (limited to 'libstdc++-v3/testsuite/20_util/is_destructible')
0 files changed, 0 insertions, 0 deletions