// RUN: clang-cc -fsyntax-only -verify %s
// XFAIL

template<typename T> struct X1 { };

template<typename T>
struct X0 {
  typedef int size_type;
  typedef T value_type;
  
  size_type f0() const;
  value_type *f1();
  X1<value_type*> f2();
};

template<typename T>
typename X0<T>::size_type X0<T>::f0() const { 
  return 0;
}

template<typename U>
typename X0<U>::value_type *X0<U>::f1() { 
  return 0;
};

template<typename U>
X1<typename X0<U>::value_type*> X0<U>::f2() { 
  return 0;
};

// RUN: clang-cc -fsyntax-only -verify %s
// XFAIL

template<typename T>
struct X0 {
  typedef int size_type;
  
  size_type f0() const;
};

template<typename T>
typename X0<T>::size_type X0<T>::f0() const { }

--- 
+++ 
@@ -1,12 +1,29 @@
 // RUN: clang-cc -fsyntax-only -verify %s
 // XFAIL
+
+template<typename T> struct X1 { };
 
 template<typename T>
 struct X0 {
   typedef int size_type;
+  typedef T value_type;
   
   size_type f0() const;
+  value_type *f1();
+  X1<value_type*> f2();
 };
 
 template<typename T>
-typename X0<T>::size_type X0<T>::f0() const { }
+typename X0<T>::size_type X0<T>::f0() const { 
+  return 0;
+}
+
+template<typename U>
+typename X0<U>::value_type *X0<U>::f1() { 
+  return 0;
+};
+
+template<typename U>
+X1<typename X0<U>::value_type*> X0<U>::f2() { 
+  return 0;
+};
Make the recanonicalization-for-an-out-of-line-definition test case a bit trickier

git-svn-id: ffe668792ed300d6c2daa1f6eba2e0aa28d7ec6c@77707 91177308-0d34-0410-b5e6-96231b3b80d8
