| // RUN: %target-swift-frontend -O -primary-file %s -emit-sil -o - | %FileCheck %s |
| |
| // check if the compiler does not crash if a function is specialized |
| // which contains a collection cast |
| |
| class MyClass {} |
| |
| class KeyClass : Hashable { |
| var hashValue : Int { return 0 } |
| } |
| func ==(lhs: KeyClass, rhs: KeyClass) -> Bool { return true } |
| |
| // CHECK-LABEL: sil hidden @{{.*}}arrayUpCast{{.*}} <Ct where Ct : MyClass> |
| func arrayUpCast<Ct: MyClass>(_ arr: [Ct]) -> [MyClass] { |
| // CHECK: apply %{{[0-9]*}}<Ct, MyClass>(%{{[0-9]*}}) |
| return arr |
| // CHECK: return |
| } |
| |
| // CHECK-LABEL: sil hidden @{{.*}}arrayDownCast{{.*}} <Ct where Ct : MyClass> |
| func arrayDownCast<Ct: MyClass>(_ arr: [MyClass]) -> [Ct] { |
| // CHECK: apply %{{[0-9]*}}<MyClass, Ct>(%{{[0-9]*}}) |
| return arr as! [Ct] |
| // CHECK: return |
| } |
| |
| // CHECK-LABEL: sil hidden @{{.*}}dictUpCast{{.*}} <Ct where Ct : MyClass> |
| func dictUpCast<Ct: MyClass>(_ dict: [KeyClass:Ct]) -> [KeyClass:MyClass] { |
| // CHECK: apply %{{[0-9]*}}<KeyClass, Ct, KeyClass, MyClass>(%{{[0-9]*}}) |
| return dict as [KeyClass:MyClass] |
| // CHECK: return |
| } |
| |
| // CHECK-LABEL: sil hidden @{{.*}}dictDownCast{{.*}} <Ct where Ct : MyClass> |
| func dictDownCast<Ct: MyClass>(_ dict: [KeyClass:MyClass]) -> [KeyClass:Ct] { |
| // CHECK: apply %{{[0-9]*}}<KeyClass, MyClass, KeyClass, Ct>(%{{[0-9]*}}) |
| return dict as! [KeyClass:Ct] |
| // CHECK: return |
| } |
| |
| func setUpCast<Ct: KeyClass>(_ s: Set<Ct>) -> Set<KeyClass> { |
| // CHECK: apply %{{[0-9]*}}<Ct, KeyClass>(%{{[0-9]*}}) |
| return s as Set<KeyClass> |
| // CHECK: return |
| } |
| |
| func setDownCast<Ct : KeyClass>(_ s : Set<KeyClass>) -> Set<Ct> { |
| // CHECK: apply %{{[0-9]*}}<KeyClass, Ct>(%{{[0-9]*}}) |
| return s as! Set<Ct> |
| // CHECK: return |
| } |
| |
| let arr: [MyClass] = [MyClass()] |
| |
| arrayUpCast(arr) |
| arrayDownCast(arr) |
| |
| let dict: [KeyClass:MyClass] = [KeyClass() : MyClass()] |
| |
| dictUpCast(dict) |
| dictDownCast(dict) |
| |
| let s: Set<KeyClass> = Set() |
| |
| setUpCast(s) |
| setDownCast(s) |