| // RUN: %empty-directory(%t) | |
| // RUN: %target-swift-frontend -emit-module -module-name Foundation -o %t/Foundation.swiftmodule %S/Inputs/Foundation-with-NSError.swift | |
| // RUN: %target-swift-frontend -I %t -typecheck -verify %s | |
| // UNSUPPORTED: objc_interop | |
| import Foundation | |
| // Since we enabled bridging on non-ObjC platforms, NSError ought to be treated as exhaustive. | |
| func bar() throws {} | |
| func foo() { | |
| do { | |
| try bar() | |
| } catch _ as NSError { | |
| } | |
| } |