Test that we handle metadata cycles in a bunch of different situations.

rdar://18157434

Author: rjmccall

test/Interpreter/metadata_cycles.swift

@@ -0,0 +1,80 @@
+// RUN: %target-run-simple-swift
+// REQUIRES: executable_test
+
+import StdlibUnittest
+
+var MetadataCycleTests = TestSuite("Metadata cycle tests")
+
+// rdar://18448285
+class test0_GenericClass<T> {
+  func foo() {}
+}
+class test0_GenericSubclass<T> : test0_GenericClass<test0_GenericSubclass> {}
+MetadataCycleTests.test("rdar://18448285") {
+  test0_GenericSubclass<Int>().foo()
+}
+
+// rdar://18685206
+final class test1_Box<T> {
+  init(_ value: T) {
+    self.value = value
+  }
+  let value: T
+}
+enum test1_List<T> {
+  case Nil
+  case Cons(T, test1_Box<test1_List<T>>)
+  var head: T? {
+    switch self {
+    case .Nil:
+      return nil
+    case .Cons(let h, _):
+      return h
+    }
+  }
+}
+MetadataCycleTests.test("rdar://18685206") {
+  let x: test1_List<Int> = .Nil
+  _ = x.head
+}
+
+// rdar://18847269
+struct test2_Thunk<T> {}
+enum test2_List<T> {
+  case Nil
+  case Cons(T, test2_Thunk<test2_List>)
+}
+MetadataCycleTests.test("rdar://18847269") {
+  let il0: test2_List<Int> = .Nil
+  _ = il0
+}
+
+// rdar://18903483
+final class test3_Box<T> {
+  private let _value : () -> T
+  init(_ value : T) {
+    self._value = { value }
+  }
+}
+enum test3_List<A> {
+  case Nil
+  case Cons(A, test3_Box<test3_List<A>>)
+}
+MetadataCycleTests.test("rdar://18903483") {
+  let x : test3_List<Int> = .Nil
+  _ = x
+
+  // rdar://19371082
+  _ = test3_List.Cons(7, test3_Box(test3_List.Nil)) 
+}
+
+// rdar://19320857
+struct test4_RoseTree<T> {
+  let value: T
+  let branches: [test4_RoseTree]
+}
+MetadataCycleTests.test("rdar://19320857") {
+  _ = test4_RoseTree(value: 1, branches: [])
+}
+
+runAllTests()