diff options
| author | Marek Polacek <polacek@redhat.com> | 2025-02-14 15:50:09 -0500 |
|---|---|---|
| committer | Marek Polacek <polacek@redhat.com> | 2025-02-14 15:50:51 -0500 |
| commit | 9fd4e414830bb84b1cf1a7df4945d26c078729c9 (patch) | |
| tree | 127bf3d82c9568cdc1d209f38f2921f77981e352 /gcc | |
| parent | 720137f4ee6e80de5c22b9f9c9750f13b2132fe6 (diff) | |
| download | gcc-9fd4e414830bb84b1cf1a7df4945d26c078729c9.zip gcc-9fd4e414830bb84b1cf1a7df4945d26c078729c9.tar.gz gcc-9fd4e414830bb84b1cf1a7df4945d26c078729c9.tar.bz2 | |
c++: add fixed test [PR70037]
Fixed by r11-735 + r11-2417.
PR c++/70037
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-pr70037.C: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp2a/concepts-pr70037.C | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr70037.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr70037.C new file mode 100644 index 0000000..7382764 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr70037.C @@ -0,0 +1,18 @@ +// PR c++/70037 +// { dg-do compile { target c++20 } } + +namespace std { + template<typename> + struct F { + static constexpr bool value = false; + }; + + template<typename T> + struct tuple { + constexpr tuple() requires (F<T>::value) {} + explicit constexpr tuple() requires (F<T>::value) && (true) {} + }; +} + +using std::tuple; +template struct std::tuple<tuple<int>>; |