mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
47 lines
1.3 KiB
Swift
47 lines
1.3 KiB
Swift
// RUN: %target-swift-frontend -primary-file %s -emit-ir -disable-objc-attr-requires-foundation-module -swift-version 4 | %FileCheck %s -DINT=i%target-ptrsize
|
|
|
|
protocol P1 {
|
|
associatedtype AssocP1
|
|
}
|
|
|
|
protocol P2 {
|
|
associatedtype AssocP2: P1
|
|
|
|
func getAssocP2() -> AssocP2
|
|
}
|
|
|
|
protocol P3 {
|
|
associatedtype AssocP3: P2 where AssocP3.AssocP2: Q
|
|
|
|
func getAssocP3() -> AssocP3
|
|
}
|
|
|
|
protocol Q { }
|
|
|
|
struct X { }
|
|
|
|
struct Y: P1, Q {
|
|
typealias AssocP1 = X
|
|
}
|
|
|
|
struct Z: P2 {
|
|
typealias AssocP2 = Y
|
|
|
|
func getAssocP2() -> Y { return Y() }
|
|
}
|
|
|
|
// CHECK: @"$s35witness_table_indirect_conformances1WVAA2P3AAWP" = hidden global [5 x ptr] [
|
|
// CHECK-SAME: @"$s35witness_table_indirect_conformances1WVAA2P3AAMc"
|
|
// CHECK-SAME: {{(associated conformance 35witness_table_indirect_conformances1WVAA2P3AA05AssocE0AaDP_AA2P2|.ptrauth)}}
|
|
// CHECK-SAME: @"$s35witness_table_indirect_conformances1WVAA2P3A2aDP08getAssocE00gE0QzyFTW{{(\.ptrauth)?}}"
|
|
struct W: P3 {
|
|
typealias AssocP3 = Z
|
|
|
|
func getAssocP3() -> Z { return Z() }
|
|
}
|
|
|
|
// CHECK-LABEL: define hidden swiftcc %swift.metadata_response @"$s35witness_table_indirect_conformances1ZVMa"
|
|
// CHECK-SAME: ([[INT]] %0)
|
|
// CHECK-NEXT: entry:
|
|
// CHECK-NEXT: ret %swift.metadata_response { ptr {{.*}} @"$s35witness_table_indirect_conformances1ZVMf", i32 0, i32 2), [[INT]] 0 }
|