Merge pull request #9322 from augusto2112/test-protocol-comp-expr

[lldb] Test evaluation of protocol composition existentials

Author: augusto2112

lldb/test/API/lang/swift/protocol_composition/Makefile

@@ -0,0 +1,3 @@
+SWIFT_SOURCES := main.swift
+
+include Makefile.rules

lldb/test/API/lang/swift/protocol_composition/TestSwiftProtocolComposition.py

@@ -0,0 +1,21 @@
+import lldb
+from lldbsuite.test.decorators import *
+import lldbsuite.test.lldbtest as lldbtest
+import lldbsuite.test.lldbutil as lldbutil
+
+
+class TestSwiftProtocolComposition(lldbtest.TestBase):
+    @swiftTest
+    def test(self):
+        """Test that expression evaluation can call functions in protocol composition existentials"""
+
+        self.build()
+        filespec = lldb.SBFileSpec("main.swift")
+        target, process, thread, breakpoint1 = lldbutil.run_to_source_breakpoint(
+            self, "break here", filespec
+        )
+        self.expect("expr c.foo()", substrs=["In class foo"])
+        self.expect("expr c.bar()", substrs=["In class bar"])
+
+        self.expect("expr s.foo()", substrs=["In struct foo"])
+        self.expect("expr s.bar()", substrs=["In struct bar"])

lldb/test/API/lang/swift/protocol_composition/main.swift

@@ -0,0 +1,40 @@
+protocol P1 {
+    func foo() -> String
+}
+
+protocol P2 {
+    func bar() -> String
+}
+
+class C: P1, P2 {
+    let i = 42
+
+    func foo() -> String {
+        "In class foo"
+    }
+
+    func bar() -> String  {
+        "In class bar"
+    }
+}
+
+struct S: P1, P2 {
+    let str = "Hello"
+
+    func foo() -> String {
+        "In struct foo"
+    }
+
+    func bar() -> String {
+        "In struct bar"
+    }
+}
+
+func f() {
+    let c: any P1 & P2 = C()
+    let s: any P1 & P2 = S()
+    print("break here")
+}
+
+f()
+