// RUN: %target-sil-opt -enable-sil-verify-all %s -sil-combine | %FileCheck %s

sil_stage canonical

import Builtin
import Swift

//CHECK: sil @a_function1
//CHECK-NOT: partial_apply
//CHECK: return
sil @a_function1 : $@convention(thin) (Int64) -> () {
bb0(%0 : $Int64):
  %1 = function_ref @our_closure_function1 : $@convention(thin) (Int64) -> Bool // user: %2
  %2 = partial_apply %1(%0) : $@convention(thin) (Int64) -> Bool // user: %3
  strong_release %2 : $@callee_owned () -> Bool   // id: %3
  %4 = tuple ()                                   // user: %5
  return %4 : $()                                 // id: %5
}

class K {
}

//CHECK: sil @a_function2
// The release_value of $K is optimized to a strong_release.
sil @a_function2 : $@convention(thin) (@owned K) -> () {
bb0(%0 : $K):
  %1 = alloc_ref $K
  %2 = function_ref @our_closure_function2 : $@convention(thin) (@owned K) -> Bool // user: %2
//CHECK-NOT: partial_apply
  %3 = partial_apply %2(%0) : $@convention(thin) (@owned K) -> Bool // user: %3
//CHECK: br
  br bb1
 bb1:
//CHECK: strong_release
  strong_release %3 : $@callee_owned () -> Bool   // id: %3
  %5 = tuple ()                                   // user: %5
//CHECK: return
  return %5 : $()                                 // id: %5
}

sil @our_closure_function2 : $@convention(thin) (@owned K) -> Bool
sil @our_closure_function1 : $@convention(thin) (Int64) -> Bool