// RUN: %empty-directory(%t) | |
// RUN: %target-swift-frontend -typecheck %s -application-extension -emit-tbd -emit-tbd-path %t/safe.tbd | |
// RUN: %target-swift-frontend -typecheck %s -emit-tbd -emit-tbd-path %t/not-safe.tbd | |
// RUN: %FileCheck %s --check-prefix EXTENSIONSAFE < %t/safe.tbd | |
// RUN: %FileCheck %s --check-prefix NOTEXTENSIONSAFE < %t/not-safe.tbd | |
// EXTENSIONSAFE-NOT: not_app_extension_safe | |
// NOTEXTENSIONSAFE: not_app_extension_safe |