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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
// RUN: %target-typecheck-verify-swift -swift-version 4 -enable-objc-interop
// An @objc protocol can have 'unavailable'
// methods. They are treated as if they
// were marked optional
@objc protocol Proto {
@objc @available(*,unavailable) optional func bad()
func good()
}
class Foo : Proto {
@objc func good() {}
}
// Reject protocols with 'unavailable' requirements
// if a protocol is not marked @objc.
protocol NonObjCProto {
@available(*,unavailable) func bad() // expected-error {{protocol members can only be marked unavailable in an @objc protocol}} expected-note {{protocol requires function 'bad()'}}
func good()
}
class Bar : NonObjCProto { // expected-error {{type 'Bar' does not conform to protocol 'NonObjCProto'}} expected-note {{add stubs for conformance}}
func good() {}
}
// Complain about unavailable witnesses (error in Swift 4, warning in Swift 3)
protocol P {
func foo(bar: Foo) // expected-note 2 {{requirement 'foo(bar:)' declared here}}
}
struct ConformsToP : P { // expected-error{{type 'ConformsToP' does not conform to protocol 'P'}}
@available(*, unavailable)
func foo(bar: Foo) { } // expected-error{{unavailable instance method 'foo(bar:)' was used to satisfy a requirement of protocol 'P'}}
}
struct ConformsToP2 {
@available(*, unavailable)
func foo(bar: Foo) { } // expected-note {{'foo(bar:)' declared here}}
}
extension ConformsToP2: P {} // expected-error{{type 'ConformsToP2' does not conform to protocol 'P'}}
// expected-error@-1 {{unavailable instance method 'foo(bar:)' was used to satisfy a requirement of protocol 'P'}}
@available(*, unavailable)
struct ConformsToP3: P {
func foo(bar: Foo) { }
}
// Ok, an unavailable decl should be allowed to witness a requirement when the
// conforming type is itself unavailable.
@available(*, unavailable)
struct ConformsToP4: P {
@available(*, unavailable)
func foo(bar: Foo) { }
}
struct ConformsToP5 {}
// Ok, an unavailable decl should be allowed to witness a requirement when the
// conformance extension is itself unavailable.
@available(*, unavailable)
extension ConformsToP5: P {
@available(*, unavailable)
func foo(bar: Foo) { }
}
@available(*, unavailable)
enum UnavailableEnum {
struct ConformsToP6: P {
@available(*, unavailable)
func foo(bar: Foo) { }
}
}
// Include message string from @available attribute if provided
protocol Unavail {
associatedtype T
func req() // expected-note {{requirement 'req()' declared here}}
}
extension Unavail {
func req() {}
}
extension Unavail where T == Self {
@available(*, unavailable, message: "write it yourself") func req() {} // expected-note {{'req()' declared here}}
}
struct NonSelfT: Unavail {
typealias T = Int
}
struct SelfT: Unavail { // expected-error {{type 'SelfT' does not conform to protocol 'Unavail'}}
// expected-error@-1 {{unavailable instance method 'req()' was used to satisfy a requirement of protocol 'Unavail': write it yourself}}
typealias T = SelfT
}
protocol UnavailableAssoc {
@available(*, unavailable) // expected-error {{associated type cannot be marked unavailable with '@available'}}
associatedtype A1
@available(swift, introduced: 99) // expected-error {{associated type cannot be marked unavailable with '@available'}}
associatedtype A2
}
|
