Files
swift-mirror/test/SIL/Parser/sending.sil
Michael Gottesman d536ffa321 Merge pull request #74082 from gottesmm/pr-47232695c9268171a965e55879f4105d48a5698a
[sending] Do not allow for sending to be used together with borrowing.
2024-06-02 16:39:40 -07:00

21 lines
989 B
Plaintext

// 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 : $()
}