| // RUN: rm -rf %t |
| // RUN: mkdir -p %t |
| // RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -emit-module -o %t %s -module-name never -disable-objc-attr-requires-foundation-module |
| // RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -parse-as-library %t/never.swiftmodule -typecheck -emit-objc-header-path %t/never.h -disable-objc-attr-requires-foundation-module |
| // RUN: %FileCheck %s < %t/never.h |
| // RUN: %check-in-clang %t/never.h |
| |
| // REQUIRES: objc_interop |
| |
| @objc public class NeverClass { |
| func doesNotReturn() -> Never { while true {} } |
| } |
| |
| // CHECK-LABEL: @interface NeverClass |
| // CHECK: - (void)doesNotReturn SWIFT_NORETURN; |
| // CHECK: @end |
