// RUN: %target-sil-opt -non-transparent-func-ownership-model-eliminator %s | %FileCheck %s

sil_stage raw

import Builtin

// CHECK-LABEL: sil [transparent] [ossa] @foo : $@convention(thin) () -> () {
sil [transparent] [ossa] @foo : $@convention(thin) () -> () {
bb0:
  %9999 = tuple()
  return %9999 : $()
}

// CHECK-LABEL: sil @bar : $@convention(thin) () -> () {
sil [ossa] @bar : $@convention(thin) () -> () {
bb0:
  %9999 = tuple()
  return %9999 : $()
}