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
|
// RUN: %target-typecheck-verify-swift -swift-version 4
// Ensure that we do not select the unavailable failable init as the
// only solution and then fail to typecheck.
protocol P {}
class C : P {
@available(swift, obsoleted: 4)
public init?(_ c: C) {
}
public init<T : P>(_ c: T) {}
}
func f(c: C) {
let _: C? = C(c)
}
// rdar://problem/60047439 - unable to disambiguate expression based on availability
func test_contextual_member_with_availability() {
struct A {
static var foo: A = A()
}
struct B {
@available(*, unavailable, renamed: "bar")
static var foo: B = B()
}
struct Test {
init(_: A) {}
init(_: B) {}
}
_ = Test(.foo) // Ok
}
@available(*, unavailable)
func unavailableFunction(_ x: Int) -> Bool { true } // expected-note {{'unavailableFunction' has been explicitly marked unavailable here}}
/// https://github.com/apple/swift/issues/55700
/// Availability checking not working in the `where` clause of a `for` loop
func f_55700(_ arr: [Int]) {
for x in arr where unavailableFunction(x) {} // expected-error {{'unavailableFunction' is unavailable}}
}
// rdar://101814209
public struct Box<T> {
@usableFromInline
let value: T
}
@available(macOS, unavailable)
extension Box where T == Int {
@usableFromInline
init(value: T) {
self.value = value
}
}
@available(macOS, unavailable)
@_alwaysEmitIntoClient public func aeicFunction() {
// Select the unavailable @usableFromInline init over the synthesized internal
// memberwise initializer.
_ = Box(value: 42)
}
|
