| // RUN: %target-sil-opt -assume-parsing-unqualified-ownership-sil -enable-sil-verify-all -dce %s | %FileCheck %s |
| import Swift |
| |
| // CHECK-LABEL: sil @unexpected_error : $@convention(thin) (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) (Error) -> () { |
| sil @error_in_main : $@convention(thin) Error -> () { |
| entry(%10 : $Error): |
| // CHECK: builtin "errorInMain" |
| %11 = builtin "errorInMain"(%10 : $Error) : $() |
| unreachable |
| } |