test/SILOptimizer/external_defs_to_decls.sil

// RUN: %target-sil-opt -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 : $()
}