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
|
// RUN: %target-typecheck-verify-swift -module-name test
struct X {
typealias MyInt = Int
func getInt() -> MyInt { return 7 }
}
extension X {
typealias MyReal = Double
func getFloat() -> MyReal { return 3.14 }
}
protocol MyIteratorProtocol {}
protocol MySequence {
associatedtype Iterator : MyIteratorProtocol
func makeIterator() -> Iterator
}
struct IteratorWrapper<I : MyIteratorProtocol> {
var index: Int
var elements: I
}
struct SequenceWrapper<T : MySequence> {
var input : T
typealias Iterator = IteratorWrapper<T.Iterator>
func makeIterator() -> Iterator {
return Iterator(index: 0, elements: input.makeIterator())
}
}
// Nested types with non-identifier qualifiers
protocol P1 {} // expected-note {{'P1' declared here}}
protocol P2 {}
extension Optional {
typealias Wrapped = Wrapped
}
do {
struct S {
struct Bar {}
struct Gen<T> {}
}
// Used to check for type equality.
enum CheckTypes<T, U> {
enum Match where T == U {}
}
// Valid examples.
let _: CheckTypes<S.Bar, (S).Bar>.Match
let _: CheckTypes<S.Gen<S>, (S).Gen<S>>.Match
let _: CheckTypes<S, S?.Wrapped>.Match
let _: CheckTypes<S, (S)?.Wrapped>.Match
let _: CheckTypes<S, (S?).Wrapped>.Match
let _: CheckTypes<S?, S??.Wrapped>.Match
let _: CheckTypes<S, S?.Wrapped?.Wrapped>.Match
let _: CheckTypes<S.Gen<S>, S?.Wrapped.Gen<S>>.Match
let _: CheckTypes<S.Gen<S>, (S?.Wrapped).Gen<S>>.Match
let _: CheckTypes<S, [S].Element>.Match
let _: CheckTypes<Dictionary<Int, S>.Element, [Int : S].Element>.Match
// Invalid examples.
let _: Int!.Wrapped // expected-warning {{using '!' is not allowed here; treating this as '?' instead}}
let _: (Int!).Wrapped // expected-warning {{using '!' is not allowed here; treating this as '?' instead}}
let _: Any.Undef // expected-error {{'Undef' is not a member type of type 'Any'}}
let _: Int.Type.Undef // expected-error {{'Undef' is not a member type of type 'Swift.Int.Type'}}
let _: P1.Protocol.Undef // expected-error {{'Undef' is not a member type of type '(any test.P1).Type'}}
let _: (Int).Undef // expected-error {{'Undef' is not a member type of struct 'Swift.Int'}}
let _: (Int.Undef1).Undef2 // expected-error {{'Undef1' is not a member type of struct 'Swift.Int'}}
let _: Int?.Undef // expected-error {{'Undef' is not a member type of generic enum 'Swift.Int?'}}
let _: [Int].Undef // expected-error {{'Undef' is not a member type of generic struct '[Swift.Int]}}
let _: [Int : Int].Undef // expected-error {{'Undef' is not a member type of generic struct '[Swift.Int : Swift.Int]'}}
let _: (any P1).Undef // expected-error {{'Undef' is not a member type of protocol 'any test.P1'}}
let _: (any P1 & P2).Undef // expected-error {{'Undef' is not a member type of type 'any test.P1 & test.P2'}}
let _: ().Undef // expected-error {{'Undef' is not a member type of type '()'}}
let _: (Int, Int).Undef // expected-error {{'Undef' is not a member type of type '(Swift.Int, Swift.Int)'}}
let _: ((Int) -> Void).Undef // expected-error {{'Undef' is not a member type of type '(Swift.Int) -> Swift.Void'}}
}
// Accept member type expressions rooted on 'Self' or non-identifier qualifiers
// until Swift 6.
do {
struct Test {
enum E {}
func blackHole<T>(_: T.Type) {}
func test() {
blackHole(Self.E)
// expected-warning@-1 {{expected member name or constructor call after type name; this will be an error in Swift 6}}
// expected-note@-2 {{use '.self' to reference the type object}}
blackHole((Test).E)
// expected-warning@-1 {{expected member name or constructor call after type name; this will be an error in Swift 6}}
// expected-note@-2 {{use '.self' to reference the type object}}
blackHole([Test].Element)
// expected-warning@-1 {{expected member name or constructor call after type name; this will be an error in Swift 6}}
// expected-note@-2 {{use '.self' to reference the type object}}
// expected-note@-3 {{add arguments after the type to construct a value of the type}}
blackHole([Int : Test].Element)
// expected-warning@-1 {{expected member name or constructor call after type name; this will be an error in Swift 6}}
// expected-note@-2 {{use '.self' to reference the type object}}
blackHole(Test?.Wrapped)
// expected-warning@-1 {{expected member name or constructor call after type name; this will be an error in Swift 6}}
// expected-note@-2 {{use '.self' to reference the type object}}
// expected-note@-3 {{add arguments after the type to construct a value of the type}}
}
}
}
|
