// RUN: %target-sil-opt -enable-sil-verify-all -dce %s | %FileCheck %s
import Swift

// CHECK-LABEL: sil @unexpected_error : $@convention(thin) (any Error) -> () {
sil @unexpected_error : $@convention(thin) (Error) -> () {
entry(%10 : $Error):
  // CHECK: builtin "unexpectedError"
  %11 = builtin "unexpectedError"(%10 : $Error) : $()
  unreachable
}

// CHECK-LABEL: sil @error_in_main : $@convention(thin) (any Error) -> () {
sil @error_in_main : $@convention(thin) (Error) -> () {
entry(%10 : $Error):
  // CHECK: builtin "errorInMain"
  %11 = builtin "errorInMain"(%10 : $Error) : $()
  unreachable
}