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