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
|
// RUN: %target-run-simple-swift | %FileCheck %s
// REQUIRES: executable_test
// Check that subscripts and functions named subscript can exist side-by-side
struct Foo {
subscript() -> String {
return "instance subscript"
}
func `subscript`() -> String {
return "instance func"
}
static subscript() -> String {
return "static subscript"
}
static func `subscript`() -> String {
return "static func"
}
}
let f = Foo()
print(f[]) // CHECK: instance subscript
print(f.subscript()) // CHECK: instance func
print(Foo[]) // CHECK: static subscript
print(Foo.subscript()) // CHECK: static func
// https://github.com/apple/swift/issues/49961
protocol P {
subscript<T : Y>(_: T) -> Int { get set }
}
struct Q : P {
subscript<T : X>(_ idx: T) -> Int {
get { return 0 } set { idx.foo() }
}
}
protocol Y : X {}
protocol X { func foo() }
struct Idx : Y {
func foo() { print("I survived") }
}
func foo<T : P>(_ t: inout T) {
t[Idx()] += 1
}
var q = Q()
foo(&q) // CHECK: I survived
protocol PStatic {
static subscript<T : Y>(_: T) -> Int { get set }
}
struct QStatic : PStatic {
static subscript<T : X>(_ idx: T) -> Int {
get { return 0 } set { idx.foo() }
}
}
func fooStatic<T : PStatic>(_ t: T.Type) {
t[Idx()] += 1
}
fooStatic(QStatic.self) // CHECK: I survived
|
