mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
43 lines
1.1 KiB
Swift
43 lines
1.1 KiB
Swift
// RUN: %target-swift-emit-silgen %s | %FileCheck %s
|
|
|
|
// Test the use of "override" on protocol requirements.
|
|
|
|
protocol P0 {
|
|
func foo()
|
|
}
|
|
|
|
protocol P1 {
|
|
func foo()
|
|
}
|
|
|
|
protocol P2: P1 {
|
|
override func foo()
|
|
}
|
|
|
|
protocol P3: P0, P2 {
|
|
override func foo()
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s23witness_table_overrides7callFoo1tyx_tAA2P3RzlF
|
|
func callFoo<T: P3>(t: T) {
|
|
// CHECK: witness_method $T, #P0.foo : <Self where Self : P0> (Self) -> () -> ()
|
|
t.foo()
|
|
}
|
|
|
|
// CHECK-LABEL: sil_witness_table hidden X3: P3 module witness_table_overrides {
|
|
// CHECK-NEXT: base_protocol P0: X3: P0 module witness_table_overrides
|
|
// CHECK-NEXT: base_protocol P2: X3: P2 module witness_table_overrides
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK-LABEL: sil_witness_table hidden X3: P0 module witness_table_overrides {
|
|
// CHECK-NEXT: method #P0.foo: <Self where Self : P0> (Self) -> () -> () : @$s23witness_table_overrides2X3VAA2P0A2aDP3fooyyFTW
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK-LABEL: sil_witness_table hidden X3: P2 module witness_table_overrides {
|
|
// CHECK-NEXT: base_protocol P1: X3: P1 module witness_table_overrides
|
|
// CHECK-NEXT: }
|
|
struct X3: P3 {
|
|
func foo() { }
|
|
}
|
|
|