| // RUN: %target-swift-frontend %s -O -emit-sil | %FileCheck %s | |
| protocol Pingable { | |
| func ping(_ x : Int); | |
| } | |
| class Foo : Pingable { | |
| func ping(_ x : Int) { var t : Int } | |
| } | |
| // Everything gets devirtualized, inlined, and promoted to the stack. | |
| //CHECK: @$S24devirtualize_existential17interesting_stuffyyF | |
| //CHECK-NOT: init_existential_addr | |
| //CHECK-NOT: apply | |
| //CHECK: return | |
| public func interesting_stuff() { | |
| var x : Pingable = Foo() | |
| x.ping(1) | |
| } | |