Swift: extract OpenedArchetypeType

Author: redsun82

swift/extractor/visitors/TypeVisitor.cpp

@@ -367,5 +367,10 @@ codeql::BuiltinVectorType TypeVisitor::translateBuiltinVectorType(
     const swift::BuiltinVectorType& type) {
   return createTypeEntry(type);
 }
-
+codeql::OpenedArchetypeType TypeVisitor::translateOpenedArchetypeType(
+    const swift::OpenedArchetypeType& type) {
+  auto entry = createTypeEntry(type);
+  fillArchetypeType(type, entry);
+  return entry;
+}
 }  // namespace codeql

swift/extractor/visitors/TypeVisitor.h

@@ -68,6 +68,7 @@ class TypeVisitor : public TypeVisitorBase<TypeVisitor> {
   codeql::BuiltinUnsafeValueBufferType translateBuiltinUnsafeValueBufferType(
       const swift::BuiltinUnsafeValueBufferType& type);
   codeql::BuiltinVectorType translateBuiltinVectorType(const swift::BuiltinVectorType& type);
+  codeql::OpenedArchetypeType translateOpenedArchetypeType(const swift::OpenedArchetypeType& type);
 
  private:
   void fillType(const swift::TypeBase& type, codeql::Type& entry);

swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/MISSING_SOURCE.txt

@@ -0,0 +1 @@
+| C & P1 & P2 | getName: | C & P1 & P2 | getCanonicalType: | C & P1 & P2 | getInterfaceType: | \u03c4_0_0 |

swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType.expected

@@ -0,0 +1,13 @@
+// generated by codegen/codegen.py
+import codeql.swift.elements
+import TestUtils
+
+from OpenedArchetypeType x, string getName, Type getCanonicalType, Type getInterfaceType
+where
+  toBeTested(x) and
+  not x.isUnknown() and
+  getName = x.getName() and
+  getCanonicalType = x.getCanonicalType() and
+  getInterfaceType = x.getInterfaceType()
+select x, "getName:", getName, "getCanonicalType:", getCanonicalType, "getInterfaceType:",
+  getInterfaceType

swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType.ql

@@ -0,0 +1,2 @@
+| C & P1 & P2 | 0 | opened_archetypes.swift:3:1:3:14 | P1 |
+| C & P1 & P2 | 1 | opened_archetypes.swift:9:1:9:14 | P2 |

swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType_getProtocol.expected

@@ -0,0 +1,7 @@
+// generated by codegen/codegen.py
+import codeql.swift.elements
+import TestUtils
+
+from OpenedArchetypeType x, int index
+where toBeTested(x) and not x.isUnknown()
+select x, index, x.getProtocol(index)

swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType_getProtocol.ql

@@ -0,0 +1 @@
+| C & P1 & P2 | C |

swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType_getSuperclass.expected

@@ -0,0 +1,7 @@
+// generated by codegen/codegen.py
+import codeql.swift.elements
+import TestUtils
+
+from OpenedArchetypeType x
+where toBeTested(x) and not x.isUnknown()
+select x, x.getSuperclass()

swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType_getSuperclass.ql

@@ -0,0 +1,25 @@
+// code inspired by https://github.com/apple/swift-evolution/blob/main/proposals/0352-implicit-open-existentials.md
+
+protocol P1 {}
+
+func isFoo<T: P1>(_: T) -> Bool {
+  return true
+}
+
+protocol P2 {}
+
+class C {}
+
+// will be ok with swift 5.7
+// func test(value: any P1 & P2 & C) -> Bool { return isFoo(value) }
+
+extension P1 {
+  var isFooMember: Bool {
+    isFoo(self)
+  }
+}
+
+
+func testMember(value: any P1 & P2 & C) -> Bool {
+  return value.isFooMember  // here the existential type is implicitly "opened"
+}