| // RUN: %target-swift-frontend -emit-silgen -enable-sil-ownership %s | %FileCheck %s |
| |
| func foo(_ x: Int) -> () -> Int { |
| var x = x |
| return { x } |
| } |
| // CHECK-LABEL: sil private @_T019capture_typed_boxes3fooSiycSiFSiycfU_ : $@convention(thin) (@owned { var Int }) -> Int { |
| // CHECK: bb0(%0 : @owned ${ var Int }): |
| |
| func closure(_ f: @escaping (Int) -> Int) -> Int { |
| var f = f |
| func bar(_ x: Int) -> Int { |
| return f(x) |
| } |
| |
| return bar(0) |
| } |
| // CHECK-LABEL: sil private @_T019capture_typed_boxes7closureS3icF3barL_S2iF : $@convention(thin) (Int, @owned { var @callee_owned (Int) -> Int }) -> Int { |
| // CHECK: bb0(%0 : @trivial $Int, %1 : @owned ${ var @callee_owned (Int) -> Int }): |
| |
| func closure_generic<T>(_ f: @escaping (T) -> T, x: T) -> T { |
| var f = f |
| func bar(_ x: T) -> T { |
| return f(x) |
| } |
| |
| return bar(x) |
| } |
| // CHECK-LABEL: sil private @_T019capture_typed_boxes15closure_generic{{.*}} : $@convention(thin) <T> (@in T, @owned <τ_0_0> { var @callee_owned (@in τ_0_0) -> @out τ_0_0 } <T>) -> @out T { |
| // CHECK-LABEL: bb0(%0 : @trivial $*T, %1 : @trivial $*T, %2 : @owned $<τ_0_0> { var @callee_owned (@in τ_0_0) -> @out τ_0_0 } <T>): |
| |
