[C++,testcase,committed] PR 54318

Submitted by Paolo Carlini on May 3, 2013, 9:36 a.m.

Details

Message ID 51838521.4000801@oracle.com
State New
Headers show

Commit Message

Paolo Carlini May 3, 2013, 9:36 a.m.
Hi,

committed to mainline.

Thanks,
Paolo.

///////////////////
2013-05-03  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/54318
	* g++.dg/cpp0x/pr54318.C: New.

Patch hide | download patch | download mbox

Index: g++.dg/cpp0x/pr54318.C
===================================================================
--- g++.dg/cpp0x/pr54318.C	(revision 0)
+++ g++.dg/cpp0x/pr54318.C	(working copy)
@@ -0,0 +1,24 @@ 
+// PR c++/54318
+// { dg-do compile { target c++11 } }
+
+template <typename T>
+struct wrapped
+{
+  typedef T type;
+};
+
+template <typename T>
+typename T::type unwrap1(T);
+
+int unwrap(int);
+
+template <typename T>
+auto unwrap(T t) -> decltype(unwrap(unwrap1(t)))
+{
+  return unwrap(unwrap1(t));
+}
+
+int main()
+{
+  unwrap(wrapped<wrapped<int>>());
+}