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.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 22adacb264c6dee3cdd1ecf627d8ec6cef1c1d1b..4f602ed6f3188b29e041f8611fead3955026c0e4 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -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

diff --git a/gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C b/gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C
new file mode 100644 (file)
index 0000000..28d9279
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C
@@ -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();