From 62dd9f854063d2ecc6a8847dcc19c3935b10c31d Mon Sep 17 00:00:00 2001
From: paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 21 Jan 2016 10:55:30 +0000
Subject: [PATCH] 2016-01-21  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/58046
	* g++.dg/cpp0x/pr58046.C: New.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@232671 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/testsuite/ChangeLog              |  5 ++++
 gcc/testsuite/g++.dg/cpp0x/pr58046.C | 39 ++++++++++++++++++++++++++++
 2 files changed, 44 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp0x/pr58046.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3ef65ab9546d..25b72d7e0e6d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-01-21  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/58046
+	* g++.dg/cpp0x/pr58046.C: New.
+
 2016-01-21  Jakub Jelinek  <jakub@redhat.com>
 
 	PR target/69187
diff --git a/gcc/testsuite/g++.dg/cpp0x/pr58046.C b/gcc/testsuite/g++.dg/cpp0x/pr58046.C
new file mode 100644
index 000000000000..b2c0541e9510
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/pr58046.C
@@ -0,0 +1,39 @@
+// { dg-do compile { target c++11 } }
+
+template<bool, class T = void>
+struct enable_if {};
+
+template<class T>
+struct enable_if<true, T>
+{
+  using type = T;
+};
+
+template<class T>
+struct is_true
+{
+  static constexpr bool value = true;
+};
+
+extern void* enabler;
+
+template <typename T, typename enable_if<is_true<T>::value>::type*& = enabler>
+class A
+{
+public:
+    A()
+    {}
+    template <typename U>
+    A& operator=( A<U>&& )
+    {
+        return *this;
+    }
+};
+
+int main()
+{
+    A<int> a_i;
+    A<double> a_d;
+
+    a_i = a_d;  // { dg-error "cannot bind" }
+}
-- 
2.47.3