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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
// RUN: %target-typecheck-verify-swift
protocol Runcible {
associatedtype Runcee
}
class Mince {
init() {}
}
class Spoon : Runcible {
init() {}
typealias Runcee = Mince
}
class Owl<T:Runcible> {
init() {}
func eat(_ what: T.Runcee, with: T) { }
}
func owl1() -> Owl<Spoon> {
return Owl<Spoon>()
}
func owl2() -> Owl<Spoon> {
return Owl()
}
func owl3() {
Owl<Spoon>().eat(Mince(), with:Spoon())
}
// https://github.com/apple/swift/issues/43341
// Can't access associated types through class-constrained generic parameters
func spoon<S: Spoon>(_ s: S) {
let _: S.Runcee?
}
// https://github.com/apple/swift/issues/46726
protocol SameTypedDefault {
associatedtype X
associatedtype Y
static var x: X { get }
static var y: Y { get }
}
extension SameTypedDefault where Y == X {
static var x: X {
return y
}
}
struct UsesSameTypedDefault: SameTypedDefault {
static var y: Int {
return 0
}
}
protocol XReqt {}
protocol YReqt {}
protocol SameTypedDefaultWithReqts {
associatedtype X: XReqt // expected-note{{protocol requires nested type 'X'; add nested type 'X' for conformance}}
associatedtype Y: YReqt // expected-note{{protocol requires nested type 'Y'; add nested type 'Y' for conformance}}
static var x: X { get }
static var y: Y { get }
}
extension SameTypedDefaultWithReqts where Y == X {
static var x: X {
return y
}
}
struct XYType: XReqt, YReqt {}
struct YType: YReqt {}
struct UsesSameTypedDefaultWithReqts: SameTypedDefaultWithReqts {
static var y: XYType { return XYType() }
}
// expected-error@+1{{does not conform}}
struct UsesSameTypedDefaultWithoutSatisfyingReqts: SameTypedDefaultWithReqts {
static var y: YType { return YType() }
}
protocol SameTypedDefaultBaseWithReqts {
associatedtype X: XReqt // expected-note{{protocol requires nested type 'X'; add nested type 'X' for conformance}}
static var x: X { get }
}
protocol SameTypedDefaultDerivedWithReqts: SameTypedDefaultBaseWithReqts {
associatedtype Y: YReqt
static var y: Y { get }
}
extension SameTypedDefaultDerivedWithReqts where Y == X {
static var x: X {
return y
}
}
struct UsesSameTypedDefaultDerivedWithReqts: SameTypedDefaultDerivedWithReqts {
static var y: XYType { return XYType() }
}
// expected-error@+1{{does not conform}}
struct UsesSameTypedDefaultDerivedWithoutSatisfyingReqts: SameTypedDefaultDerivedWithReqts {
static var y: YType { return YType() }
}
// https://github.com/apple/swift/issues/54624
protocol P1_54624 {
associatedtype Assoc // expected-note {{'Assoc' declared here}}
}
enum E_54624 {}
protocol P2_54624: P1_54624 where Assoc == E_54624 {
associatedtype Assoc: E_54624 // expected-error {{type 'Self.Assoc' constrained to non-protocol, non-class type 'E_54624'}}
// expected-warning@-1 {{redeclaration of associated type 'Assoc' from protocol 'P1_54624' is better expressed as a 'where' clause on the protocol}}
}
|
