issue-73859.swift

// RUN: %target-run-simple-swift | %FileCheck %s

// REQUIRES: executable_test

classObject{
deinit{print("deinit object")}
}

structNoncopyable:~Copyable {
deinit{print("deinit noncopyable")}
}

func testDeinitAfterConsume(){
do{
letobject=Object()
 // CHECK: before consume
print("before consume")
 // CHECK: deinit object
 _ = consume object
 // CHECK: after consume
print("after consume")
}

print()

do{
letnoncopyable=Noncopyable()
 // CHECK: before consume
print("before consume")
 // CHECK: deinit noncopyable
 _ = consume noncopyable
 // CHECK: after consume
print("after consume")
}
}

testDeinitAfterConsume()