// RUN: %target-sil-opt -strict-concurrency=complete %s | %target-sil-opt -strict-concurrency=complete | %FileCheck %s
// RUN: %target-sil-opt %s | %target-sil-opt | %FileCheck %s

sil_stage raw

// CHECK-LABEL: func transferValueDefault<T>(_ t: sending T)
func transferValueDefault<T>(_ t: sending T)
// CHECK-LABEL: func transferValueBorrowing<T>(_ t: __shared sending T)
func transferValueBorrowing<T>(_ t: __shared sending T)
// CHECK-LABEL: func transferValueConsuming<T>(_ t: consuming sending T)
func transferValueConsuming<T>(_ t: consuming sending T)

// CHECK-LABEL: sil @$test : $@convention(thin) <τ_0_0> (@sil_sending @in τ_0_0) -> ()
sil @$test : $@convention(thin) <τ_0_0> (@sil_sending @in τ_0_0) -> ()

// CHECK-LABEL: sil [ossa] @$test2 : $@convention(thin) <τ_0_0> (@sil_sending @in_guaranteed τ_0_0) -> () {
sil [ossa] @$test2 : $@convention(thin) <τ_0_0> (@sil_sending @in_guaranteed τ_0_0) -> () {
bb0(%0 : $*τ_0_0):
  %9999 = tuple ()
  return %9999 : $()
}