// RUN: %target-sil-opt -enable-objc-interop -enable-experimental-move-only -enable-sil-verify-all=true %s | %target-sil-opt -enable-objc-interop -enable-experimental-move-only -enable-sil-verify-all=true | %FileCheck %s

sil_stage canonical

class Klass {}

// CHECK: bb0(%0 : @noImplicitCopy @owned $Klass):

sil [ossa] @noImplicitCopyTest : $@convention(thin) (@owned Klass) -> () {
bb0(%0 : @noImplicitCopy @owned $Klass):
  destroy_value %0 : $Klass
  %9999 = tuple()
  return %9999 : $()
}