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
|
// RUN: %target-typecheck-verify-swift
protocol P { }
struct X { }
@available(*, unavailable)
extension X: P { }
struct Y<T: P> { }
@available(*, unavailable)
extension Y {
// Okay, because the unavailable conformance is used within an
// unavailable context.
init() where T == X { }
}
// A more elaborate setup that hits the conformance check in property map
// construction rather than concrete contraction.
protocol AssocP {}
@available(*, unavailable)
struct ConcreteP {}
@available(*, unavailable)
extension ConcreteP: AssocP {}
protocol Base {
associatedtype T : AssocP
}
@available(*, unavailable)
extension Base where T == ConcreteP {}
// Hashable conformance synthesis ran into problems if the conformance was
// unavailable (which is legal if the type is unavailable also).
@available(*, unavailable)
struct Foo {
class Bar {}
}
@available(*, unavailable)
extension Foo.Bar: Equatable {
static func == (lhs: Foo.Bar, rhs: Foo.Bar) -> Bool { return false }
}
@available(*, unavailable)
extension Foo.Bar: Hashable {
func hash(into hasher: inout Hasher) {}
}
|
