Unified: Add more static name binding tests

Author: hvitved

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

@@ -2,18 +2,29 @@ class A {
     class B {
         class C {}
     }
+
+    static func f() {}
 }
 
-class D: A {} // $ access=A
-class E: D.B {} // $ access=D access=A.B
+class D: A {  // $ access=A
+    static func f(x: Int) {}  // $ access=Int
+}
+class E: D.B {}  // $ access=D access=A.B
 
 // Members of base classes can be accessed through derived classes
 func t1() {
-    let x1: D = nil; // $ access=D
-    let x2: D.B = nil; // $ access=D access=A.B
-    let x3: D.B.C = nil; // $ access=D access=A.B access=A.B.C
+    let x1: D = nil  // $ access=D
+    let x2: D.B = nil  // $ access=D access=A.B
+    let x3: D.B.C = nil  // $ access=D access=A.B access=A.B.C
 
     // The base class of 'E' is itself resolved through inheritance
-    let x4: E = nil; // $ access=E
-    let x5: E.C = nil; // $ access=E access=A.B.C
+    let x4: E = nil  // $ access=E
+    let x5: E.C = nil  // $ access=E access=A.B.C
+
+    let x6 = A.init()  // $ access=A access=A.init
+    let x7 = D.init()  // $ access=D $ MISSING: access=A.init $ SPURIOUS: access=D.init
+
+    let x8 = A.f()  // $ access=A access=A.f
+    let x9 = D.f()  // $ access=D access=D.f -- type inference should filter away the `D.f` target $ MISSING: access=A.f
+    let x10 = D.f(x: 0)  // $ access=D access=D.f $ MISSING: access=A.f -- type inference should filter away the `A.f` target
 }