[C++ testcase, committed] PR 54318

[Paolo Carlini]

Hi,

committed to mainline.

Thanks,
Paolo.

///////////////////

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

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

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>>());
+}