// RUN: %target-sil-opt -assume-parsing-unqualified-ownership-sil -enable-sil-verify-all -external-defs-to-decls %s | %FileCheck %s

// CHECK: sil @no_op : $@convention(thin) () -> ()
sil public_external @no_op : $@convention(thin) () -> () {
bb0:
  %9999 = tuple()
  return %9999 : $()
}