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
class C {
var x = 0
}
class D: C {}
var c1 = C()
c1.x = 1
var d1 = D()
d1.x = 2
// Array<T>
var ca: Array<C> = [c1]
var da: Array<D> = [d1]
ca = da
da = ca // expected-error{{cannot assign value of type 'Array<C>' to type 'Array<D>'}}
// expected-note@-1 {{arguments to generic parameter 'Element' ('C' and 'D') are expected to be equal}}
var caa = [ca]
var daa = [da]
caa = daa
// Array slice type
var cas: [C] = [c1]
var das: [D] = [d1]
cas = das
das = cas // expected-error{{cannot assign value of type '[C]' to type '[D]'}}
// expected-note@-1 {{arguments to generic parameter 'Element' ('C' and 'D') are expected to be equal}}
// ArraySlice<T>
var cs = ca[0...0]
var ds = da[0...0]
cs = ds // expected-error{{cannot assign value of type 'ArraySlice<D>' to type 'ArraySlice<C>'}}
// expected-note@-1 {{arguments to generic parameter 'Element' ('D' and 'C') are expected to be equal}}
ds = cs // expected-error{{cannot assign value of type 'ArraySlice<C>' to type 'ArraySlice<D>'}}
// expected-note@-1 {{arguments to generic parameter 'Element' ('C' and 'D') are expected to be equal}}
// ContiguousArray<T>
var cna: ContiguousArray<C> = [c1]
var dna: ContiguousArray<D> = [d1]
cna = dna // expected-error{{cannot assign value of type 'ContiguousArray<D>' to type 'ContiguousArray<C>'}}
// expected-note@-1 {{arguments to generic parameter 'Element' ('D' and 'C') are expected to be equal}}
dna = cna // expected-error{{cannot assign value of type 'ContiguousArray<C>' to type 'ContiguousArray<D>'}}
// expected-note@-1 {{arguments to generic parameter 'Element' ('C' and 'D') are expected to be equal}}
|
