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: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module -swift-version 5 -enable-implicit-dynamic %S/Inputs/dynamicReplacementA.swift -o %t -module-name A
// RUN: %target-swift-frontend -emit-module -swift-version 5 -enable-implicit-dynamic -c %S/Inputs/dynamicReplacementB.swift -o %t -I %t -module-name B
// RUN: %target-swift-frontend -emit-module -swift-version 5 -enable-implicit-dynamic -c %S/Inputs/dynamicReplacementC.swift -o %t -I %t -module-name C
// RUN: %target-typecheck-verify-swift -swift-version 5 -enable-implicit-dynamic -I %t
import A
import B
import C
// rdar://problem/46737657: static properties
struct StaticProperties {
dynamic var property: Int { return 1 }
dynamic static var property: Int { return 11 }
}
extension StaticProperties {
@_dynamicReplacement(for: property)
var replacement_property: Int { return 2 }
}
// Replacements involving different types.
extension TheReplaceables {
@_dynamicReplacement(for: property1) // expected-error{{replaced accessor for 'property1' occurs in multiple places}}
var replace_property1: Int { return 0 }
@_dynamicReplacement(for: property2)
var replace_property2_int: Int { return 1 }
@_dynamicReplacement(for: property2)
var replace_property2_string: String { return "replaced" }
@_dynamicReplacement(for: subscript(_:)) // expected-error{{replaced accessor for 'subscript(_:)' occurs in multiple places}}
subscript (int_int i: Int) -> Int { return 0 }
@_dynamicReplacement(for: subscript(_:))
subscript (int_string i: Int) -> String { return "" }
@_dynamicReplacement(for: subscript(_:))
subscript (string_string i: String) -> String { return "" }
}
extension K {
@_dynamicReplacement(for: init(i:)) // expected-error{{replaced constructor 'init(i:)' is not marked as convenience}}
convenience init(ri: Int) { }
@_dynamicReplacement(for: init(c:)) // expected-error{{replaced constructor 'init(c:)' is marked as convenience}})
init(rc: Int) { }
@_dynamicReplacement(for:finalFunction())
func replacement_finalFunction() {}
}
extension undeclared { // expected-error{{cannot find type 'undeclared' in scope}}
@_dynamicReplacement(for: property)
var replacement_property: Int { return 2 }
@_dynamicReplacement(for: func)
func func2() -> Int { return 2 }
}
extension P {
@_dynamicReplacement(for: v)
var replacement_v : Int {
return 1
}
@_dynamicReplacement(for: subscript(_:))
subscript(y y: Int) -> Int {
get {
return 1
}
}
@_dynamicReplacement(for: f())
func replacement_f() {
}
}
|
