// RUN: %empty-directory(%t)
// RUN: %empty-directory(%t/module-generated)
// RUN: cp -r %S/Inputs/ExportedImport/ObjcProperty.framework %t
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -enable-objc-interop -emit-module -o %t/ObjcProperty.framework/Modules/ObjcProperty.swiftmodule/%target-swiftmodule-name -import-underlying-module -F %t -module-name ObjcProperty %S/Inputs/ExportedImport/A.swift
// RUN: %target-swift-frontend -emit-module -o %t/ExportedImport.swiftmodule -F %t -module-name ExportedImport %s -emit-symbol-graph -emit-symbol-graph-dir %t
// RUN: %FileCheck %s --input-file %t/ExportedImport.symbols.json
// RUN: %target-swift-symbolgraph-extract -sdk %clang-importer-sdk -module-name ExportedImport -I %t \
// RUN:     -output-dir %t/module-generated/ -experimental-allowed-reexported-modules=ObjcProperty
// RUN: %FileCheck %s --input-file %t/module-generated/ExportedImport.symbols.json

// REQUIRES: objc_interop

// CHECK-DAG: "precise":"s:So11ClangStructa12ObjcPropertyE05InnerB0V"
// CHECK-DAG: "precise":"s:12ObjcProperty12SomeProtocolPAAE8someFuncyyF::SYNTHESIZED::s:So11ClangStructa12ObjcPropertyE05InnerB0V06NestedB0V",

@_exported import ObjcProperty