unified: Add tests for missing features

Author: asgerf

unified/ql/test/library-tests/static-name-binding/extensions.swift

@@ -50,3 +50,9 @@ class X {
     }
 }
 extension X : Base {} // $ access=X access=Base
+
+// Type parameters of the extended type should be in scope in the extension.
+class GenericExtensionTarget<ExtensionTypeParameter> {}
+extension GenericExtensionTarget { // $ access=GenericExtensionTarget
+    func useTypeParameter(_: ExtensionTypeParameter) {} // $ MISSING: access=ExtensionTypeParameter
+}

unified/ql/test/library-tests/static-name-binding/package1/Sources/Target1/File1.swift

@@ -1,2 +1,8 @@
 let x: A; // $ access=Target1.A
 let y: Target2.A; // not a valid reference
+
+public class ScopedExtensionTarget {
+    func useExtensionFromUnimportedModule() {
+        target2ExtensionMethod() // $ SPURIOUS: access=Target1.ScopedExtensionTarget.target2ExtensionMethod
+    }
+}

unified/ql/test/library-tests/static-name-binding/package1/Sources/Target2/File3.swift

@@ -1,5 +1,11 @@
+import Target1
+
 public class A {} // name=Target2.A
 
 public class B { // name=Target2.B
     public class C {} // name=Target2.B.C
 }
+
+extension ScopedExtensionTarget { // $ access=ScopedExtensionTarget
+    func target2ExtensionMethod() {} // name=Target1.ScopedExtensionTarget.target2ExtensionMethod
+}