Errors.swift

// RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s
publicenumE:Error{case Err }

// Function throws.
publicfunc throwError()throws{throwE.Err }
// CHECK: !DISubprogram(name: "throwError", {{.*}}thrownTypes: ![[THROWN:.*]])
// CHECK-DAG: ![[THROWN]] = !{![[ERROR:[0-9]+]]}
// CHECK-DAG: ![[ERROR]] = !DICompositeType(tag: DW_TAG_structure_type, name: "Error"


// Function rethrows.
publicfunc rethrow(fn :(()throws->()))rethrows{tryfn()}
// CHECK: !DISubprogram(name: "rethrow", {{.*}}thrownTypes: ![[THROWN:.*]])

publicclassC{
 // Initializer throws.
init()throws{throwE.Err }
 // CHECK: !DISubprogram(name: "init", {{.*}}line: [[@LINE-1]],
 // CHECK-SAME: thrownTypes: ![[THROWN:.*]])

 // Initializer rethrows.
init(fn :(()throws->()))rethrows{
 // CHECK: !DISubprogram(name: "init", {{.*}}line: [[@LINE-1]],
 // CHECK-SAME: thrownTypes: ![[THROWN:.*]])
tryfn()
}
}

// Negative tests.
// CHECK: !DISubprogram(name: "returnThrowing",
// CHECK-NOT: thrownTypes:
publicfunc returnThrowing()->(()throws->()){return throwError }
// CHECK: !DISubprogram(name: "takesThrowing",
// CHECK-NOT: thrownTypes:
publicfunc takesThrowing(fn :(()throws->())){}