mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-19 01:50:34 +08:00
c++: Add testcase for already-fixed PR [PR70642]
We correctly reject the testcase in this PR ever since commit r9-7046. gcc/testsuite/ChangeLog: PR c++/70642 * g++.dg/cpp0x/alias-decl-70.C: New test.
This commit is contained in:
parent
ab5934a8fe
commit
6cc6b087c8
@ -1,3 +1,8 @@
|
||||
2020-05-13 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/70642
|
||||
* g++.dg/cpp0x/alias-decl-70.C: New test.
|
||||
|
||||
2020-05-13 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR debug/95080
|
||||
|
23
gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C
Normal file
23
gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C
Normal file
@ -0,0 +1,23 @@
|
||||
// PR c++/70642
|
||||
// { dg-do compile { target c++11 } }
|
||||
|
||||
template<bool, class> struct enable_if {};
|
||||
template<class T> struct enable_if<true, T> { using type = T; };
|
||||
|
||||
template <typename X>
|
||||
struct foo
|
||||
{
|
||||
template <typename R>
|
||||
using meow = typename enable_if<sizeof(X) == 0, R>::type; // { dg-error "no type named .type." }
|
||||
|
||||
template <typename R = int> // 1
|
||||
meow<R> bar () = delete;
|
||||
|
||||
int bar ()
|
||||
{
|
||||
meow<int> i; // 2
|
||||
return 0; // 3
|
||||
}
|
||||
};
|
||||
|
||||
int j = foo<long>().bar();
|
Loading…
x
Reference in New Issue
Block a user