[lldb] Add TestBoundOpaqueArchetype test

lldb/source/Plugins/TypeSystem/Swift/SwiftASTContext.cpp

@@ -5240,7 +5240,6 @@ SwiftASTContext::GetTypeInfo(opaque_compiler_type_t type,
   case swift::TypeKind::InOut:
   case swift::TypeKind::Module:
   case swift::TypeKind::ElementArchetype:
-  case swift::TypeKind::OpaqueTypeArchetype:
   case swift::TypeKind::OpenedArchetype:
   case swift::TypeKind::Pack:
   case swift::TypeKind::PackExpansion:
@@ -5261,6 +5260,7 @@ SwiftASTContext::GetTypeInfo(opaque_compiler_type_t type,
     assert(false && "Internal compiler type");
     break;
   case swift::TypeKind::UnboundGeneric:
+  case swift::TypeKind::OpaqueTypeArchetype:
     break;
 
   case swift::TypeKind::GenericFunction:

lldb/source/Plugins/TypeSystem/Swift/TypeSystemSwiftTypeRef.cpp

@@ -2117,6 +2117,7 @@ bool TypeSystemSwiftTypeRef::IsPossibleDynamicType(opaque_compiler_type_t type,
       case Node::Kind::ProtocolListWithAnyObject:
       case Node::Kind::ExistentialMetatype:
       case Node::Kind::DynamicSelf:
+      case Node::Kind::OpaqueType:
         return true;
       case Node::Kind::BoundGenericStructure:
       case Node::Kind::BoundGenericEnum: {

lldb/test/API/lang/swift/bound_opaque_archetype/Makefile

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

lldb/test/API/lang/swift/bound_opaque_archetype/TestBoundOpaqueArchetype.py

@@ -0,0 +1,17 @@
+import lldb
+from lldbsuite.test.lldbtest import *
+from lldbsuite.test.decorators import *
+import lldbsuite.test.lldbutil as lldbutil
+import unittest2
+
+
+class TestBoundOpaqueArchetype(TestBase):
+
+    @swiftTest
+    def test(self):
+        """Tests that a type bound to an opaque archetype can be resolved correctly"""         
+        self.build()
+        lldbutil.run_to_source_breakpoint(self, "break here", lldb.SBFileSpec("main.swift"))
+        self.expect("v s", substrs=["S<", "opaque return type of", "f()"])
+        self.expect("po s", substrs=["S<C>"])
+

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

@@ -0,0 +1,18 @@
+protocol P {}
+
+class C: P {
+}
+
+struct S<T> {
+  let t: T
+}
+func f() -> some P {
+  let p: some P = C()
+  return p
+}
+
+let s = S(t: f())
+print(s) // break here
+
+
+