[Tests] Update Interpreter tests.

Author: amritpan

test/Interpreter/keypath.swift

@@ -7,13 +7,16 @@
 
 class MyLabel {
   var text = "label"
+  static var isVisible = true
 }
 
 class Controller {
 
   fileprivate let label = MyLabel()
   fileprivate var secondLabel: MyLabel? = MyLabel()
   public var thirdLabel: MyLabel? = MyLabel()
+  fileprivate var fourthLabel: MyLabel.Type? { return MyLabel.self }
+  public var fifthLabel: MyLabel.Type? { return MyLabel.self }
 
   subscript(string: String) -> String {
     get {
@@ -56,6 +59,7 @@ class Controller {
 
 struct S {
   var a: Int
+  static let b: Double = 100.0
 }
 
 struct Container<V> {
@@ -77,6 +81,22 @@ extension Container where V: Controller {
 // CHECK: label
 print(Container(Controller()).test())
 
+struct MetatypeContainer<V> {
+  var v : V.Type
+  init(_ v: V.Type) {
+    self.v = v
+  }
+  func useMetatypeKeyPath() -> Bool {
+    if let labelType = v as? MyLabel.Type {
+      return labelType.isVisible
+    }
+    return false
+  }
+}
+
+// CHECK: true
+print(MetatypeContainer(MyLabel.self).useMetatypeKeyPath())
+
 public class GenericController<U> {
   init(_ u: U) {
     self.u = u
@@ -123,6 +143,15 @@ print(\Controller[array: [42]])
 // CHECK: \Controller.
 print(\Controller[array: [42], array2: [42]])
 
+// CHECK: \Controller.fourthLabel!.<computed {{.*}} (Bool)>
+print(\Controller.fourthLabel!.isVisible)
+
+// CHECK: \S.Type.<computed {{.*}} (Double)>
+print(\S.Type.b)
+// CHECK: \Controller.fifthLabel?.<computed {{.*}} (Bool)>?
+print(\Controller.fifthLabel?.isVisible)
+
+
 do {
   struct S {
     var i: Int
@@ -162,3 +191,18 @@ do {
   // CHECK: {{\\S2\.subscript\(_: S1 #[0-9]+\)|\S2\.<computed 0x.* \(String\)>}}
   print(kp)
 }
+
+do {
+  struct Weekday {
+      static let day = "Monday"
+  }
+  
+  @dynamicMemberLookup
+  struct StaticExample<T> {
+      subscript<U>(dynamicMember keyPath: KeyPath<T.Type, U>) -> U {
+          return T.self[keyPath: keyPath]
+      }
+  }
+  // CHECK: true
+  print(StaticExample<MyLabel>().isVisible)
+}