Preliminary executable test for nested generic types

Author: slavapestov

test/Interpreter/nested_generics.swift

@@ -1,20 +1,28 @@
-// RUN: %target-run-simple-swift | FileCheck %s
+// RUN: mkdir -p %t
+// RUN: %target-build-swift %s -Xfrontend -enable-experimental-nested-generic-types -o %t/a.out
+// RUN: %target-run %t/a.out | FileCheck %s
 // REQUIRES: executable_test
 
 protocol MyPrintable {
   func print()
 }
 
-struct PrintableValue : MyPrintable {
-  init(_ value: String) {
-    self.value = value
+extension Int : MyPrintable {
+  func print() {
+    Swift.print(self, terminator: "")
   }
+}
 
+extension String : MyPrintable {
   func print() {
-    Swift.print(value, terminator: "")
+    Swift.print(self, terminator: "")
   }
+}
 
-  var value: String
+extension Array : MyPrintable {
+  func print() {
+    Swift.print(self, terminator: "")
+  }
 }
 
 class Foo<T : MyPrintable> {
@@ -34,7 +42,81 @@ class Foo<T : MyPrintable> {
 }
 
 // CHECK: init 1 two
-var foo = Foo<PrintableValue>(PrintableValue("1"), PrintableValue("two"))
-// CHECK: bar 3
-var c = PrintableValue("3")
-foo.bar(c)
+// CHECK: bar [1]
+var foo = Foo<Int>(1, "two")
+foo.bar([1])
+
+struct OuterStruct<T : MyPrintable> {
+  let t: T
+
+  struct InnerStruct<U : MyPrintable> {
+    let u: U
+
+    func printBoth(t: T) {
+      t.print()
+      print(" ", terminator: "")
+      u.print()
+    }
+
+    static func printBoth(t: T, u: U) {
+      t.print()
+      print(" ", terminator: "")
+      u.print()
+    }
+
+    func printAllThree<V : MyPrintable>(t: T, v: V) {
+      printBoth(t: t)
+      print(" ", terminator: "")
+      v.print()
+    }
+  }
+
+  class InnerClass<U : MyPrintable> {
+    let u: U
+
+    init(u: U) {
+      self.u = u
+    }
+
+    func printBoth(t: T) {
+      t.print()
+      print(" ", terminator: "")
+      u.print()
+    }
+
+    static func printBoth(t: T, u: U) {
+      t.print()
+      print(" ", terminator: "")
+      u.print()
+    }
+
+    func printAllThree<V : MyPrintable>(t: T, v: V) {
+      printBoth(t: t)
+      print(" ", terminator: "")
+      v.print()
+    }
+  }
+}
+
+class SubClass<X : MyPrintable, Y : MyPrintable> : OuterStruct<Y>.InnerClass<X> {
+  override func printBoth(t: Y) {
+    print("override ", terminator: "")
+    super.printBoth(t: t)
+  }
+
+  // FIXME: Does not work!
+  /* override func printAllThree<Z : MyPrintable>(t: Y, v: Z) {
+    print("super ", terminator: "")
+    super.printAllThree(t: t, v: v)
+  } */
+}
+
+// CHECK: 1 two
+// CHECK: 1 two
+// CHECK: 1 two [3]
+OuterStruct<Int>.InnerStruct<String>(u: "two").printBoth(t: 1)
+OuterStruct<Int>.InnerStruct<String>.printBoth(t: 1, u: "two")
+OuterStruct<Int>.InnerStruct<String>(u: "two").printAllThree(t: 1, v: [3])
+
+// CHECK: override 1 two [3]
+SubClass<String, Int>(u: "two").printAllThree(t: 1, v: [3])