[Test] Duplicate test/TypeDecoder/existentials.swift with explicit

existential types enabled.

Author: hborla

test/TypeDecoder/explicit_existentials.swift

@@ -0,0 +1,112 @@
+// RUN: %empty-directory(%t)
+
+// RUN: %target-build-swift -Xfrontend -enable-explicit-existential-types -emit-executable %s -g -o %t/existentials -emit-module
+// RUN: sed -ne '/\/\/ *DEMANGLE: /s/\/\/ *DEMANGLE: *//p' < %s > %t/input
+// RUN: %lldb-moduleimport-test %t/existentials -type-from-mangled=%t/input | %FileCheck %s
+
+func blackHole(_: Any...) {}
+
+protocol P {}
+protocol Q {}
+class C {}
+
+class D : C, P, Q {}
+
+do {
+  let e0: Any = D()
+  let e1: AnyObject = D()
+
+  let e2: P = D()
+  let e4: P & C = D()
+  let e3: P & AnyObject = D()
+
+  let e5: P & Q = D()
+  let e6: P & Q & C = D()
+  let e7: P & Q & AnyObject = D()
+
+  blackHole(e0, e1, e2, e3, e4, e5, e6, e7)
+}
+
+do {
+  let e0: Any.Type = D.self
+  let e1: AnyObject.Type = D.self
+
+  let e2: P.Type = D.self
+  let e4: (P & C).Type = D.self
+  let e3: (P & AnyObject).Type = D.self
+
+  let e5: (P & Q).Type = D.self
+  let e6: (P & Q & C).Type = D.self
+  let e7: (P & Q & AnyObject).Type = D.self
+
+  blackHole(e0, e1, e2, e3, e4, e5, e6, e7)
+}
+
+do {
+  let e0: Any.Protocol = Any.self
+  let e1: AnyObject.Protocol = AnyObject.self
+
+  let e2: P.Protocol = P.self
+  let e4: (P & C).Protocol = (P & C).self
+  let e3: (P & AnyObject).Protocol = (P & AnyObject).self
+
+  let e5: (P & Q).Protocol = (P & Q).self
+  let e6: (P & Q & C).Protocol = (P & Q & C).self
+  let e7: (P & Q & AnyObject).Protocol = (P & Q & AnyObject).self
+
+  blackHole(e0, e1, e2, e3, e4, e5, e6, e7)
+}
+
+// DEMANGLE: $sypD
+// DEMANGLE: $syXlD
+// DEMANGLE: $s12existentials1P_pD
+// DEMANGLE: $s12existentials1P_AA1CCXcD
+// DEMANGLE: $s12existentials1P_XlD
+// DEMANGLE: $s12existentials1P_AA1QpD
+// DEMANGLE: $s12existentials1P_AA1QAA1CCXcD
+// DEMANGLE: $s12existentials1P_AA1QXlD
+
+// CHECK: Any
+// CHECK: AnyObject
+// CHECK: P
+// CHECK: C & P
+// CHECK: P & AnyObject
+// CHECK: P & Q
+// CHECK: C & P & Q
+// CHECK: P & Q & AnyObject
+
+// DEMANGLE: $sypXpD
+// DEMANGLE: $syXlXpD
+// DEMANGLE: $s12existentials1P_pXpD
+// DEMANGLE: $s12existentials1P_XlXpD
+// DEMANGLE: $s12existentials1P_AA1CCXcXpD
+// DEMANGLE: $s12existentials1P_AA1QpXpD
+// DEMANGLE: $s12existentials1P_AA1QAA1CCXcXpD
+// DEMANGLE: $s12existentials1P_AA1QXlXpD
+
+// CHECK: Any.Type
+// CHECK: AnyObject.Type
+// CHECK: P.Type
+// CHECK: (P & AnyObject).Type
+// CHECK: (C & P).Type
+// CHECK: (P & Q).Type
+// CHECK: (C & P & Q).Type
+// CHECK: (P & Q & AnyObject).Type
+
+// DEMANGLE: $sypmD
+// DEMANGLE: $syXlmD
+// DEMANGLE: $s12existentials1P_pmD
+// DEMANGLE: $s12existentials1P_AA1CCXcmD
+// DEMANGLE: $s12existentials1P_XlmD
+// DEMANGLE: $s12existentials1P_AA1QpmD
+// DEMANGLE: $s12existentials1P_AA1QAA1CCXcmD
+// DEMANGLE: $s12existentials1P_AA1QXlmD
+
+// CHECK: Any.Protocol
+// CHECK: AnyObject.Protocol
+// CHECK: P.Protocol
+// CHECK: (C & P).Protocol
+// CHECK: (P & AnyObject).Protocol
+// CHECK: (P & Q).Protocol
+// CHECK: (C & P & Q).Protocol
+// CHECK: (P & Q & AnyObject).Protocol