test: Add more complex test cases for templates (#137)

Author: varungandhi-src

test/index/types/templates.cc

@@ -12,3 +12,30 @@ F<B> fmap(A f(B), F<A> fa) {
 
 template <int N>
 void f(int arr[N]) {}
+
+template <typename... Bs, template <typename...> typename... As>
+void g(As<Bs...> ...) {}
+
+template <typename T>
+struct PointerType {
+  using type = T *;
+};
+
+template <typename T>
+struct PointerType<T &> {
+  using type = T *;
+};
+
+template <typename T>
+using RefPtr = typename PointerType<T &>::type;
+
+using IntRefPtr = RefPtr<int>;
+
+template <typename T>
+using PtrPtr = typename PointerType<T *>::type;
+
+template <typename T, typename S = typename PointerType<T>::type>
+void specialized(T) {}
+
+template <>
+void specialized<int, int>(int) {}

test/index/types/templates.snapshot.cc

@@ -35,3 +35,54 @@
 //     ^ definition [..] f(11b0e290e57a7e53).
 //           ^^^ definition local 8
 //               ^ reference local 7
+  
+  template <typename... Bs, template <typename...> typename... As>
+//                      ^^ definition local 9
+//                                                             ^^ definition local 10
+  void g(As<Bs...> ...) {}
+//     ^ definition [..] g(c3d59a70a6e5360c).
+//       ^^ reference local 10
+//          ^^ reference local 9
+  
+  template <typename T>
+//                   ^ definition local 11
+  struct PointerType {
+//       ^^^^^^^^^^^ definition [..] PointerType#
+    using type = T *;
+//        ^^^^ definition [..] PointerType#type#
+//               ^ reference local 11
+  };
+  
+  template <typename T>
+//                   ^ definition local 12
+  struct PointerType<T &> {
+//       ^^^^^^^^^^^ definition [..] PointerType#
+//                   ^ reference local 12
+    using type = T *;
+//        ^^^^ definition [..] PointerType#type#
+//               ^ reference local 12
+  };
+  
+  template <typename T>
+//                   ^ definition local 13
+  using RefPtr = typename PointerType<T &>::type;
+//      ^^^^^^ definition [..] RefPtr#
+  
+  using IntRefPtr = RefPtr<int>;
+//      ^^^^^^^^^ definition [..] IntRefPtr#
+  
+  template <typename T>
+//                   ^ definition local 14
+  using PtrPtr = typename PointerType<T *>::type;
+//      ^^^^^^ definition [..] PtrPtr#
+  
+  template <typename T, typename S = typename PointerType<T>::type>
+//                   ^ definition local 15
+//                               ^ definition local 16
+  void specialized(T) {}
+//     ^^^^^^^^^^^ definition [..] specialized(9b289cee16747614).
+//                 ^ reference local 15
+  
+  template <>
+  void specialized<int, int>(int) {}
+//     ^^^^^^^^^^^ definition [..] specialized(d4f767463ce0a6b3).