diff options
| author | Jason Merrill <jason@redhat.com> | 2024-03-27 16:14:01 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2024-03-28 14:18:35 -0400 |
| commit | 8bb3ef3f6e335e8794590fb712a2661d11d21973 (patch) | |
| tree | 3f3000dc92bab11aa33582e564f45536f4e669ae /libiberty | |
| parent | bbb7c513dddc5c9b2d5e9b78bc1c2f85a0cfe07e (diff) | |
| download | gcc-8bb3ef3f6e335e8794590fb712a2661d11d21973.zip gcc-8bb3ef3f6e335e8794590fb712a2661d11d21973.tar.gz gcc-8bb3ef3f6e335e8794590fb712a2661d11d21973.tar.bz2 | |
c++: __is_constructible ref binding [PR100667]
The requirement that a type argument be complete is excessive in the case of
direct reference binding to the same type, which does not rely on any
properties of the type. This is LWG 2939.
PR c++/100667
gcc/cp/ChangeLog:
* semantics.cc (same_type_ref_bind_p): New.
(finish_trait_expr): Use it.
gcc/testsuite/ChangeLog:
* g++.dg/ext/is_constructible8.C: New test.
Diffstat (limited to 'libiberty')
0 files changed, 0 insertions, 0 deletions