// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck -verify %s | |
// REQUIRES: objc_interop | |
import Foundation | |
// Catching `as NSError` ought to be exhaustive when ObjC interop is enabled. | |
func bar() throws {} | |
func foo() { | |
do { | |
try bar() | |
} catch _ as NSError { | |
} | |
} |