mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
589ebac1b2
This helps us to better diagnose failures related to generic requirements like `T == [Int]` as well as protocol compositions, which require deep equality check.
53 lines
1.6 KiB
Swift
53 lines
1.6 KiB
Swift
// 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}}
|