re PR c++/70563 (SFINAE fails when trying invalid template instantiation)

2018-05-08  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/70563
	* g++.dg/cpp0x/sfinae62.C: New.

From-SVN: r260030

2 files changed, 46 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cc61ffb..d5126b3 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/70563
+	* g++.dg/cpp0x/sfinae62.C: New.
+
 2018-05-08  Richard Sandiford  <richard.sandiford@linaro.org>
 
 	* gcc.target/aarch64/sve/vcond_6.c (LOOP): Unconditionally
diff --git a/gcc/testsuite/g++.dg/cpp0x/sfinae62.C b/gcc/testsuite/g++.dg/cpp0x/sfinae62.C
new file mode 100644
index 0000000..7bde64c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/sfinae62.C
@@ -0,0 +1,41 @@
+// PR c++/70563
+// { dg-do compile { target c++11 } }
+
+template<typename... T> using void_t = void;
+
+template<typename T> struct TemporaryBindObject
+{
+};
+
+struct MyTrueType
+{
+ static constexpr bool value = true;
+};
+
+struct MyFalseType
+{
+ static constexpr bool value = false;
+};
+
+template<template<typename...> class Dest> struct TestValidBind
+{
+ template<typename T, typename = void_t<>> struct toTypesOf : MyFalseType
+ {};
+ template<template<typename...> class Src, typename... Ts> struct toTypesOf<Src<Ts...>, void_t<Dest<Ts...,float>>> : MyTrueType
+ {};
+};
+
+template<typename T> struct OneParamStruct
+{
+};
+template<typename T1, typename T2> struct TwoParamStruct
+{
+};
+
+using tmp = TemporaryBindObject<int>;
+
+int main()
+{
+ bool value1 = TestValidBind<TwoParamStruct>::toTypesOf<TemporaryBindObject<int>>::value;
+ bool value2 = TestValidBind<OneParamStruct>::toTypesOf<TemporaryBindObject<int>>::value;
+}