1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
// RUN: %target-swift-emit-silgen %s | %FileCheck %s
// RUN: %target-swift-emit-silgen -enable-library-evolution %s | %FileCheck %s
// RUN: %target-swift-frontend -emit-ir %s
// RUN: %target-swift-frontend -emit-ir -enable-library-evolution %s
public class C : Hashable {
public static func ==(lhs: C, rhs: C) -> Bool { return lhs === rhs }
public func hash(into: inout Hasher) {}
}
public class Base {
public var int: Int? { fatalError() }
public var ref: C? { fatalError() }
public subscript(x x: Int) -> Int? { fatalError() }
public subscript(y y: C) -> C? { fatalError() }
}
public class Derived : Base {
public override var int: Int { fatalError() }
public override var ref: C { fatalError() }
public override subscript(x x: Int?) -> Int { fatalError() }
public override subscript(y y: C?) -> C { fatalError() }
}
public class Generic<T> {
public var generic: T { fatalError() }
public subscript(x x: T) -> T? { fatalError() }
public subscript(y y: T?) -> T? { fatalError() }
}
public class DerivedGeneric<T> : Generic<T?> {
public override var generic: T? { fatalError() }
public subscript(x x: T) -> T { fatalError() }
public subscript(y y: T) -> T { fatalError() }
}
public class DerivedConcrete : Generic<Int?> {
public override var generic: Int? { fatalError() }
public subscript(x x: Int?) -> Int { fatalError() }
public subscript(y y: Int?) -> Int? { fatalError() }
}
@inlinable public func keyPaths() {
_ = \Derived.int
_ = \Derived.ref
_ = \Derived.[x: nil]
_ = \Derived.[y: nil]
_ = \DerivedGeneric<Int>.generic
_ = \DerivedGeneric<Int>.[x: nil]
_ = \DerivedGeneric<Int>.[y: nil]
_ = \DerivedConcrete.generic
_ = \DerivedConcrete.[x: nil]
_ = \DerivedConcrete.[y: nil]
}
// CHECK: sil_property #C.hashValue ()
// CHECK-NEXT: sil_property #Base.int ()
// CHECK-NEXT: sil_property #Base.ref ()
// CHECK-NEXT: sil_property #Base.subscript ()
// CHECK-NEXT: sil_property #Base.subscript ()
// CHECK-NEXT: sil_property #Derived.int ()
// CHECK-NEXT: sil_property #Derived.subscript ()
// CHECK-NEXT: sil_property #Generic.generic<τ_0_0> ()
// CHECK-NEXT: sil_property #Generic.subscript<τ_0_0> ()
// CHECK-NEXT: sil_property #Generic.subscript<τ_0_0> ()
// CHECK-NEXT: sil_property #DerivedGeneric.subscript<τ_0_0> ()
// CHECK-NEXT: sil_property #DerivedGeneric.subscript<τ_0_0> ()
// CHECK-NEXT: sil_property #DerivedConcrete.subscript ()
// CHECK-NEXT: sil_property #DerivedConcrete.subscript ()
|
