mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
8ab9047cbf
Centralize the logic downgrading diagnostics to warning for newly introduced exportability checks along with the one silencing the errors. Update client sites to the new API and to uniformly apply the downgrade to warning behavior. Diagnostics about typealiases and conformances are now properly downgraded to warnings if not opt-in.
859 lines
47 KiB
Swift
859 lines
47 KiB
Swift
/// Test @_implementationOnly import exportability diagnostics in non-library-evolution mode
|
|
|
|
/// Standard / non-embedded
|
|
|
|
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -emit-module -o %t/indirects.swiftmodule \
|
|
// RUN: %S/Inputs/implementation-only-imports/indirects.swift \
|
|
// RUN: -swift-version 5
|
|
// RUN: %target-swift-frontend -emit-module -o %t/directs.swiftmodule -I %t\
|
|
// RUN: %S/Inputs/implementation-only-imports/directs.swift \
|
|
// RUN: -swift-version 5
|
|
|
|
/// Default diags
|
|
// RUN: %target-swift-frontend -emit-module -verify -verify-ignore-unrelated %s -I %t \
|
|
// RUN: -swift-version 6 \
|
|
// RUN: -verify-additional-prefix not-opt-in-
|
|
|
|
/// Opt-in diags
|
|
// RUN: %target-swift-frontend -emit-module -verify -verify-ignore-unrelated %s -I %t \
|
|
// RUN: -swift-version 6 \
|
|
// RUN: -verify-additional-prefix opt-in- \
|
|
// RUN: -enable-experimental-feature CheckImplementationOnly
|
|
|
|
/// Embedded
|
|
/// Will also show errors in non-never-emit-into-client functions.
|
|
|
|
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -emit-module -o %t/indirects.swiftmodule \
|
|
// RUN: %S/Inputs/implementation-only-imports/indirects.swift \
|
|
// RUN: -swift-version 5 -target arm64-apple-none-macho \
|
|
// RUN: -enable-experimental-feature Embedded
|
|
// RUN: %target-swift-frontend -emit-module -o %t/directs.swiftmodule -I %t\
|
|
// RUN: %S/Inputs/implementation-only-imports/directs.swift \
|
|
// RUN: -swift-version 5 -target arm64-apple-none-macho \
|
|
// RUN: -enable-experimental-feature Embedded
|
|
|
|
/// Default diags
|
|
// RUN: %target-swift-frontend -emit-module -verify -verify-ignore-unrelated %s -I %t \
|
|
// RUN: -swift-version 6 -target arm64-apple-none-macho \
|
|
// RUN: -enable-experimental-feature Embedded \
|
|
// RUN: -verify-additional-prefix embedded- \
|
|
// RUN: -verify-additional-prefix not-opt-in-
|
|
|
|
/// Opt-in diags
|
|
// RUN: %target-swift-frontend -emit-module -verify -verify-ignore-unrelated %s -I %t \
|
|
// RUN: -swift-version 6 -target arm64-apple-none-macho \
|
|
// RUN: -enable-experimental-feature Embedded \
|
|
// RUN: -verify-additional-prefix opt-in- \
|
|
// RUN: -verify-additional-prefix embedded-opt-in- \
|
|
// RUN: -verify-additional-prefix embedded- \
|
|
// RUN: -enable-experimental-feature CheckImplementationOnly
|
|
|
|
/// Same diags with CheckImplementationOnlyStrict
|
|
// RUN: %target-swift-frontend -typecheck -verify -verify-ignore-unrelated %s -I %t \
|
|
// RUN: -swift-version 6 -target arm64-apple-none-macho \
|
|
// RUN: -enable-experimental-feature Embedded \
|
|
// RUN: -verify-additional-prefix opt-in- \
|
|
// RUN: -verify-additional-prefix embedded-opt-in- \
|
|
// RUN: -verify-additional-prefix embedded- \
|
|
// RUN: -enable-experimental-feature CheckImplementationOnlyStrict
|
|
|
|
// REQUIRES: swift_feature_Embedded
|
|
// REQUIRES: swift_feature_CheckImplementationOnly
|
|
// REQUIRES: swift_feature_CheckImplementationOnlyStrict
|
|
// REQUIRES: embedded_stdlib_cross_compiling
|
|
|
|
@_implementationOnly import directs
|
|
// expected-not-opt-in-warning @-1 {{safely use '@_implementationOnly' without library evolution by setting '-enable-experimental-feature CheckImplementationOnly' for 'main'}}
|
|
import indirects
|
|
|
|
/// Referenced types
|
|
|
|
public struct ExposedLayoutPublic {
|
|
public init() { fatalError() }
|
|
}
|
|
|
|
internal struct ExposedLayoutInternal {
|
|
// expected-note @-1 3 {{type declared here}}
|
|
}
|
|
|
|
private struct ExposedLayoutPrivate {
|
|
// expected-note @-1 2 {{struct 'ExposedLayoutPrivate' is not '@usableFromInline' or public}}
|
|
// expected-note @-2 4 {{type declared here}}
|
|
init() { fatalError() } // expected-note {{initializer 'init()' is not '@usableFromInline' or public}}
|
|
}
|
|
|
|
public class ExposedClassPublic {
|
|
public init() { fatalError() }
|
|
}
|
|
|
|
internal class ExposedClassInternal {
|
|
// expected-note @-1 2 {{type declared here}}
|
|
}
|
|
|
|
private class ExposedClassPrivate {
|
|
// expected-note @-1 2 {{class 'ExposedClassPrivate' is not '@usableFromInline' or public}}
|
|
// expected-note @-2 3 {{type declared here}}
|
|
init() { fatalError() } // expected-note {{initializer 'init()' is not '@usableFromInline' or public}}
|
|
}
|
|
|
|
@_implementationOnly
|
|
private class HiddenClass {
|
|
// expected-note @-1 2 {{class 'HiddenClass' is not '@usableFromInline' or public}}
|
|
// expected-note @-2 1 {{initializer 'init()' is not '@usableFromInline' or public}}
|
|
// expected-note @-3 3 {{type declared here}}
|
|
// expected-note @-4 7 {{class declared here}}
|
|
}
|
|
|
|
@_implementationOnly
|
|
private struct HiddenLayout {
|
|
// expected-note @-1 2 {{struct 'HiddenLayout' is not '@usableFromInline' or public}}
|
|
// expected-note @-2 1 {{initializer 'init()' is not '@usableFromInline' or public}}
|
|
// expected-note @-3 9 {{struct declared here}}
|
|
// expected-note @-4 4 {{type declared here}}
|
|
}
|
|
|
|
public enum ExposedEnumPublic {
|
|
case A
|
|
case B
|
|
}
|
|
|
|
private enum ExposedEnumPrivate {
|
|
// expected-note @-1 2 {{enum 'ExposedEnumPrivate' is not '@usableFromInline' or public}}
|
|
// expected-note @-2 2 {{type declared here}}
|
|
case A
|
|
// expected-note @-1 1 {{enum case 'A' is not '@usableFromInline' or public}}
|
|
case B
|
|
}
|
|
|
|
@_implementationOnly
|
|
private enum HiddenEnum {
|
|
// expected-note @-1 6 {{enum declared here}}
|
|
// expected-note @-2 2 {{enum 'HiddenEnum' is not '@usableFromInline' or public}}
|
|
// expected-note @-3 2 {{type declared here}}
|
|
case A
|
|
// expected-note @-1 {{enum case 'A' is not '@usableFromInline' or public}}
|
|
case B
|
|
}
|
|
|
|
public protocol ExposedProtocolPublic {
|
|
}
|
|
|
|
internal protocol ExposedProtocolInternal {
|
|
// expected-note @-1 {{protocol 'ExposedProtocolInternal' is not '@usableFromInline' or public}}
|
|
// expected-note @-2 3 {{type declared here}}
|
|
}
|
|
|
|
private protocol ExposedProtocolPrivate {
|
|
// expected-note @-1 {{protocol 'ExposedProtocolPrivate' is not '@usableFromInline' or public}}
|
|
// expected-note @-2 4 {{type declared here}}
|
|
}
|
|
|
|
@_implementationOnly
|
|
private protocol HiddenProtocol {
|
|
// expected-note @-1 {{protocol 'HiddenProtocol' is not '@usableFromInline' or public}}
|
|
// expected-note @-2 9 {{protocol declared here}}
|
|
// expected-note @-3 4 {{type declared here}}
|
|
}
|
|
|
|
@_spi(S) public struct SPIStruct {}
|
|
// expected-note @-1 {{struct declared here}}
|
|
|
|
/// Function use sites
|
|
|
|
@inlinable
|
|
public func explicitlyInlinable() {
|
|
let _: ExposedLayoutPublic = ExposedLayoutPublic()
|
|
let _: ExposedLayoutPrivate = ExposedLayoutPrivate()
|
|
// expected-error @-1 2 {{struct 'ExposedLayoutPrivate' is private and cannot be referenced from an '@inlinable' function}}
|
|
// expected-error @-2 {{initializer 'init()' is private and cannot be referenced from an '@inlinable' function}}
|
|
|
|
let _: HiddenLayout = HiddenLayout()
|
|
// expected-error @-1 2 {{struct 'HiddenLayout' is private and cannot be referenced from an '@inlinable' function}}
|
|
// expected-error @-2 {{initializer 'init()' is private and cannot be referenced from an '@inlinable' function}}
|
|
|
|
let _: ExposedClassPublic = ExposedClassPublic()
|
|
let _: ExposedClassPrivate = ExposedClassPrivate()
|
|
// expected-error @-1 2 {{class 'ExposedClassPrivate' is private and cannot be referenced from an '@inlinable' function}}
|
|
// expected-error @-2 {{initializer 'init()' is private and cannot be referenced from an '@inlinable' function}}
|
|
|
|
let _: HiddenClass = HiddenClass()
|
|
// expected-error @-1 2 {{class 'HiddenClass' is private and cannot be referenced from an '@inlinable' function}}
|
|
// expected-error @-2 {{initializer 'init()' is private and cannot be referenced from an '@inlinable' function}}
|
|
|
|
let _: ExposedEnumPublic = ExposedEnumPublic.A
|
|
let _: ExposedEnumPrivate = ExposedEnumPrivate.A
|
|
// expected-error @-1 2 {{enum 'ExposedEnumPrivate' is private and cannot be referenced from an '@inlinable' function}}
|
|
// expected-error @-2 {{enum case 'A' is private and cannot be referenced from an '@inlinable' function}}
|
|
let _: HiddenEnum = HiddenEnum.A
|
|
// expected-error @-1 2 {{enum 'HiddenEnum' is private and cannot be referenced from an '@inlinable' function}}
|
|
// expected-error @-2 {{enum case 'A' is private and cannot be referenced from an '@inlinable' function}}
|
|
|
|
let _: ExposedProtocolPublic
|
|
let _: ExposedProtocolInternal
|
|
// expected-error @-1 {{protocol 'ExposedProtocolInternal' is internal and cannot be referenced from an '@inlinable' function}}
|
|
let _: ExposedProtocolPrivate
|
|
// expected-error @-1 {{protocol 'ExposedProtocolPrivate' is private and cannot be referenced from an '@inlinable' function}}
|
|
let _: HiddenProtocol
|
|
// expected-error @-1 {{protocol 'HiddenProtocol' is private and cannot be referenced from an '@inlinable' function}}
|
|
}
|
|
|
|
public func implicitlyInlinablePublic() {
|
|
let _: ExposedLayoutPublic = ExposedLayoutPublic()
|
|
let _: ExposedLayoutPrivate = ExposedLayoutPrivate()
|
|
let _: HiddenLayout = HiddenLayout()
|
|
// expected-embedded-error @-1 2 {{struct 'HiddenLayout' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
|
|
let _: ExposedClassPublic = ExposedClassPublic()
|
|
let _: ExposedClassPrivate = ExposedClassPrivate()
|
|
let _: HiddenClass = HiddenClass()
|
|
// expected-embedded-error @-1 2 {{class 'HiddenClass' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
let _: ExposedEnumPublic = ExposedEnumPublic.A
|
|
let _: ExposedEnumPrivate = ExposedEnumPrivate.A
|
|
let _: HiddenEnum = HiddenEnum.A
|
|
// expected-embedded-error @-1 2 {{enum 'HiddenEnum' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenEnum' is marked '@_implementationOnly'}}
|
|
|
|
let _: ExposedProtocolPublic
|
|
let _: ExposedProtocolInternal
|
|
let _: ExposedProtocolPrivate
|
|
let _: HiddenProtocol
|
|
// expected-embedded-error @-1 {{protocol 'HiddenProtocol' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
}
|
|
|
|
private func implicitlyInlinablePrivate() {
|
|
let _: ExposedLayoutPublic = ExposedLayoutPublic()
|
|
let _: ExposedLayoutPrivate = ExposedLayoutPrivate()
|
|
let _: HiddenLayout = HiddenLayout()
|
|
// expected-embedded-error @-1 2 {{struct 'HiddenLayout' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
|
|
let _: ExposedClassPublic = ExposedClassPublic()
|
|
let _: ExposedClassPrivate = ExposedClassPrivate()
|
|
let _: HiddenClass = HiddenClass()
|
|
// expected-embedded-error @-1 2 {{class 'HiddenClass' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
let _: ExposedEnumPublic = ExposedEnumPublic.A
|
|
let _: ExposedEnumPrivate = ExposedEnumPrivate.A
|
|
let _: HiddenEnum = HiddenEnum.A
|
|
// expected-embedded-error @-1 2 {{enum 'HiddenEnum' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenEnum' is marked '@_implementationOnly'}}
|
|
|
|
let _: ExposedProtocolPublic
|
|
let _: ExposedProtocolInternal
|
|
let _: ExposedProtocolPrivate
|
|
let _: HiddenProtocol
|
|
// expected-embedded-error @-1 {{protocol 'HiddenProtocol' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
}
|
|
|
|
@export(interface)
|
|
public func explicitNonInliable() {
|
|
let _: ExposedLayoutPublic = ExposedLayoutPublic()
|
|
let _: ExposedLayoutPrivate = ExposedLayoutPrivate()
|
|
let _: HiddenLayout = HiddenLayout()
|
|
|
|
let _: ExposedClassPublic = ExposedClassPublic()
|
|
let _: ExposedClassPrivate = ExposedClassPrivate()
|
|
let _: HiddenClass = HiddenClass()
|
|
|
|
let _: ExposedEnumPublic = ExposedEnumPublic.A
|
|
let _: ExposedEnumPrivate = ExposedEnumPrivate.A
|
|
let _: HiddenEnum = HiddenEnum.A
|
|
|
|
let _: ExposedProtocolPublic
|
|
let _: ExposedProtocolInternal
|
|
let _: ExposedProtocolPrivate
|
|
let _: HiddenProtocol
|
|
}
|
|
|
|
@export(interface)
|
|
internal func explicitNonInliableInternal() {
|
|
let _: ExposedLayoutPublic = ExposedLayoutPublic()
|
|
let _: ExposedLayoutPrivate = ExposedLayoutPrivate()
|
|
let _: HiddenLayout = HiddenLayout()
|
|
|
|
let _: ExposedClassPublic = ExposedClassPublic()
|
|
let _: ExposedClassPrivate = ExposedClassPrivate()
|
|
let _: HiddenClass = HiddenClass()
|
|
|
|
let _: ExposedEnumPublic = ExposedEnumPublic.A
|
|
let _: ExposedEnumPrivate = ExposedEnumPrivate.A
|
|
let _: HiddenEnum = HiddenEnum.A
|
|
|
|
let _: ExposedProtocolPublic
|
|
let _: ExposedProtocolInternal
|
|
let _: ExposedProtocolPrivate
|
|
let _: HiddenProtocol
|
|
}
|
|
|
|
/// Struct use sites
|
|
|
|
typealias TA = StructFromDirect // expected-note 3 {{type declared here}}
|
|
|
|
@frozen
|
|
public struct ExposedLayoutFrozenUser: ProtocolFromDirect {
|
|
// expected-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a public or '@usableFromInline' conformance; 'directs' has been imported as implementation-only}}
|
|
|
|
private var ta: TA
|
|
// expected-error @-1 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration marked public or in a '@frozen' or '@usableFromInline' context because 'directs' has been imported as implementation-only}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
public var publicField: StructFromDirect
|
|
// expected-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'directs' has been imported as implementation-only}}
|
|
|
|
private var privateField: StructFromDirect
|
|
// expected-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'directs' has been imported as implementation-only}}
|
|
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var b: ExposedLayoutPrivate
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var c: HiddenLayout
|
|
// expected-error @-1 {{cannot use struct 'HiddenLayout' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
private var ca: ExposedClassPublic
|
|
private var cb: ExposedClassInternal
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var cc: ExposedClassPrivate
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var cd: HiddenClass
|
|
// expected-error @-1 {{cannot use class 'HiddenClass' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'HiddenClass' is marked '@_implementationOnly'}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var f: HiddenEnum
|
|
// expected-error @-1 {{cannot use enum 'HiddenEnum' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'HiddenEnum' is marked '@_implementationOnly'}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
private var pp: ProtocolFromDirect
|
|
// expected-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'directs' has been imported as implementation-only}}
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var i: ExposedProtocolPrivate
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var j: HiddenProtocol
|
|
// expected-error @-1 {{cannot use protocol 'HiddenProtocol' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
private func privateFunc(h: HiddenLayout) {}
|
|
// expected-embedded-error @-1 {{struct 'HiddenLayout' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
private func privateFuncClass(h: HiddenClass) {}
|
|
// expected-embedded-error @-1 {{class 'HiddenClass' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
@_spi(S) public var s: SPIStruct
|
|
// expected-error @-1 {{stored property 's' cannot be declared '@_spi' in a '@frozen' struct}}
|
|
// expected-error @-2 {{cannot use struct 'SPIStruct' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; it is SPI}}
|
|
}
|
|
|
|
public struct ExposedLayoutPublicUser: ProtocolFromDirect {
|
|
// expected-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a public or '@usableFromInline' conformance; 'directs' has been imported as implementation-only}}
|
|
|
|
private var ta: TA
|
|
// expected-opt-in-error @-1 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration member of a type not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration member of a type not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
|
|
public var publicField: StructFromDirect
|
|
// expected-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'directs' has been imported as implementation-only}}
|
|
|
|
private var privateField: StructFromDirect
|
|
// expected-opt-in-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use struct 'StructFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
private var c: HiddenLayout
|
|
// expected-error @-1 {{cannot use struct 'HiddenLayout' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
|
|
private var ca: ExposedClassPublic
|
|
private var cb: ExposedClassInternal
|
|
private var cc: ExposedClassPrivate
|
|
private var cd: HiddenClass
|
|
// expected-error @-1 {{cannot use class 'HiddenClass' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
// expected-error @-1 {{cannot use enum 'HiddenEnum' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenEnum' is marked '@_implementationOnly'}}
|
|
|
|
private var pp: ProtocolFromDirect
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
// expected-error @-1 {{cannot use protocol 'HiddenProtocol' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
|
|
private func privateFunc(h: HiddenLayout) {}
|
|
// expected-embedded-error @-1 {{struct 'HiddenLayout' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
private func privateFuncClass(h: HiddenClass) {}
|
|
// expected-embedded-error @-1 {{class 'HiddenClass' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
@_spi(S) public var s: SPIStruct
|
|
}
|
|
|
|
internal struct ExposedLayoutInternalUser: ProtocolFromDirect {
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
private var ta: TA
|
|
// expected-opt-in-error @-1 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration member of a type not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration member of a type not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
|
|
private var privateField: StructFromDirect
|
|
// expected-opt-in-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use struct 'StructFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
private var c: HiddenLayout
|
|
// expected-error @-1 {{cannot use struct 'HiddenLayout' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
|
|
private var ca: ExposedClassPublic
|
|
private var cb: ExposedClassInternal
|
|
private var cc: ExposedClassPrivate
|
|
private var cd: HiddenClass
|
|
// expected-error @-1 {{cannot use class 'HiddenClass' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
// expected-error @-1 {{cannot use enum 'HiddenEnum' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenEnum' is marked '@_implementationOnly'}}
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
// expected-error @-1 {{cannot use protocol 'HiddenProtocol' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
|
|
private func privateFunc(h: HiddenLayout) {}
|
|
// expected-embedded-error @-1 {{struct 'HiddenLayout' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
private func privateFuncClass(h: HiddenClass) {}
|
|
// expected-embedded-error @-1 {{class 'HiddenClass' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
@_spi(S) public var s: SPIStruct
|
|
}
|
|
|
|
private struct ExposedLayoutPrivateUser: ProtocolFromDirect {
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
private var ta: TA
|
|
// expected-opt-in-error @-1 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration member of a type not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration member of a type not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
|
|
private var privateField: StructFromDirect
|
|
// expected-opt-in-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use struct 'StructFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
private var c: HiddenLayout
|
|
// expected-error @-1 {{cannot use struct 'HiddenLayout' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
|
|
private var ca: ExposedClassPublic
|
|
private var cb: ExposedClassInternal
|
|
private var cc: ExposedClassPrivate
|
|
private var cd: HiddenClass
|
|
// expected-error @-1 {{cannot use class 'HiddenClass' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
// expected-error @-1 {{cannot use enum 'HiddenEnum' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenEnum' is marked '@_implementationOnly'}}
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
// expected-error @-1 {{cannot use protocol 'HiddenProtocol' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
|
|
private func privateFunc(h: HiddenLayout) {}
|
|
// expected-embedded-error @-1 {{struct 'HiddenLayout' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
private func privateFuncClass(h: HiddenClass) {}
|
|
// expected-embedded-error @-1 {{class 'HiddenClass' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
@_spi(S) public var s: SPIStruct
|
|
}
|
|
|
|
@_implementationOnly
|
|
private struct HiddenLayoutUser {
|
|
private var ta: TA
|
|
|
|
public var publicField: StructFromDirect
|
|
private var privateField: StructFromDirect
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
|
|
private var ca: ExposedClassPublic
|
|
private var cb: ExposedClassInternal
|
|
private var cc: ExposedClassPrivate
|
|
|
|
private var c: HiddenLayout
|
|
private var cd: HiddenClass
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
|
|
@export(interface)
|
|
private func privateFunc(h: HiddenLayout) {}
|
|
@export(interface)
|
|
private func privateFuncClass(h: HiddenClass) {}
|
|
}
|
|
|
|
@_implementationOnly // expected-error {{'@_implementationOnly' may not be used on public declarations}}
|
|
public struct PublicHiddenStruct {}
|
|
|
|
/// Enums use sites
|
|
|
|
public enum PublicEnumUser: ProtocolFromDirect {
|
|
// expected-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a public or '@usableFromInline' conformance; 'directs' has been imported as implementation-only}}
|
|
case a(StructFromDirect) // expected-error {{cannot use struct 'StructFromDirect' in an associated value of a public or '@usableFromInline' enum; 'directs' has been imported as implementation-only}}
|
|
|
|
case e(ExposedLayoutPublic)
|
|
case c(ExposedLayoutInternal) // expected-error {{enum case in a public enum uses an internal type}}
|
|
case d(ExposedLayoutPrivate) // expected-error {{enum case in a public enum uses a private type}}
|
|
case b(HiddenLayout) // expected-error {{enum case in a public enum uses a private type}}
|
|
// expected-error @-1 {{cannot use struct 'HiddenLayout' in an associated value of a public or '@usableFromInline' enum; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
|
|
case ce(ExposedClassPublic)
|
|
case cc(ExposedClassInternal) // expected-error {{enum case in a public enum uses an internal type}}
|
|
case cd(ExposedClassPrivate) // expected-error {{enum case in a public enum uses a private type}}
|
|
case cb(HiddenClass) // expected-error {{enum case in a public enum uses a private type}}
|
|
// expected-error @-1 {{cannot use class 'HiddenClass' in an associated value of a public or '@usableFromInline' enum; 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
case f(ExposedProtocolPublic)
|
|
case g(ExposedProtocolInternal) // expected-error {{enum case in a public enum uses an internal type}}
|
|
case h(ExposedProtocolPrivate) // expected-error {{enum case in a public enum uses a private type}}
|
|
case i(HiddenProtocol) // expected-error {{cannot use protocol 'HiddenProtocol' in an associated value of a public or '@usableFromInline' enum; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
// expected-error @-1 {{enum case in a public enum uses a private type}}
|
|
|
|
case ta(TA) // expected-error {{aliases 'directs.StructFromDirect' and cannot be used in an associated value of a public or '@usableFromInline' enum because 'directs' has been imported as implementation-only}}
|
|
// expected-error @-1 {{enum case in a public enum uses an internal type}}
|
|
}
|
|
|
|
internal enum InternalEnumUser: ProtocolFromDirect {
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
case a(StructFromDirect) // expected-opt-in-error {{cannot use struct 'StructFromDirect' in an associated value of an enum not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-1 {{cannot use struct 'StructFromDirect' in an associated value of an enum not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
case e(ExposedLayoutPublic)
|
|
case c(ExposedLayoutInternal)
|
|
case d(ExposedLayoutPrivate) // expected-error {{enum case in an internal enum uses a private type}}
|
|
case b(HiddenLayout) // expected-error {{cannot use struct 'HiddenLayout' in an associated value of an enum not marked '@_implementationOnly'; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
// expected-error @-1 {{enum case in an internal enum uses a private type}}
|
|
|
|
case ce(ExposedClassPublic)
|
|
case cc(ExposedClassInternal)
|
|
case cd(ExposedClassPrivate) // expected-error {{enum case in an internal enum uses a private type}}
|
|
case cb(HiddenClass) // expected-error {{cannot use class 'HiddenClass' in an associated value of an enum not marked '@_implementationOnly'; 'HiddenClass' is marked '@_implementationOnly'}}
|
|
// expected-error @-1 {{enum case in an internal enum uses a private type}}
|
|
|
|
case f(ExposedProtocolPublic)
|
|
case g(ExposedProtocolInternal)
|
|
case h(ExposedProtocolPrivate) // expected-error {{enum case in an internal enum uses a private type}}
|
|
case i(HiddenProtocol) // expected-error {{cannot use protocol 'HiddenProtocol' in an associated value of an enum not marked '@_implementationOnly'; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
// expected-error @-1 {{enum case in an internal enum uses a private type}}
|
|
|
|
case ta(TA)
|
|
// expected-opt-in-error @-1 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in an associated value of an enum not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in an associated value of an enum not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
}
|
|
|
|
private enum PrivateEnumUser: ProtocolFromDirect {
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
case a(StructFromDirect) // expected-opt-in-error {{cannot use struct 'StructFromDirect' in an associated value of an enum not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-1 {{cannot use struct 'StructFromDirect' in an associated value of an enum not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
case e(ExposedLayoutPublic)
|
|
case c(ExposedLayoutInternal)
|
|
case d(ExposedLayoutPrivate)
|
|
case b(HiddenLayout) // expected-error {{cannot use struct 'HiddenLayout' in an associated value of an enum not marked '@_implementationOnly'; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
|
|
case ce(ExposedClassPublic)
|
|
case cc(ExposedClassInternal)
|
|
case cd(ExposedClassPrivate)
|
|
case cb(HiddenClass) // expected-error {{cannot use class 'HiddenClass' in an associated value of an enum not marked '@_implementationOnly'; 'HiddenClass' is marked '@_implementationOnly'}}
|
|
|
|
case f(ExposedProtocolPublic)
|
|
case g(ExposedProtocolInternal)
|
|
case h(ExposedProtocolPrivate)
|
|
case i(HiddenProtocol) // expected-error {{cannot use protocol 'HiddenProtocol' in an associated value of an enum not marked '@_implementationOnly'; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
|
|
case ta(TA)
|
|
// expected-opt-in-error @-1 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in an associated value of an enum not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in an associated value of an enum not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
}
|
|
|
|
internal enum InternalEnumWithRawType : RawTypeFromDirect { // expected-opt-in-error {{cannot use struct 'RawTypeFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-1 {{cannot use struct 'RawTypeFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
typealias RawValue = RawTypeFromDirect
|
|
case a
|
|
}
|
|
|
|
@_implementationOnly
|
|
private enum PrivateHiddenEnumUser: ProtocolFromDirect {
|
|
case a(StructFromDirect)
|
|
|
|
case e(ExposedLayoutPublic)
|
|
case c(ExposedLayoutInternal)
|
|
case d(ExposedLayoutPrivate)
|
|
case b(HiddenLayout)
|
|
|
|
case ce(ExposedClassPublic)
|
|
case cc(ExposedClassInternal)
|
|
case cd(ExposedClassPrivate)
|
|
case cb(HiddenClass)
|
|
|
|
case f(ExposedProtocolPublic)
|
|
case g(ExposedProtocolInternal)
|
|
case h(ExposedProtocolPrivate)
|
|
case i(HiddenProtocol)
|
|
}
|
|
|
|
@_implementationOnly // expected-error {{'@_implementationOnly' may not be used on public declarations}}
|
|
public enum PublicHiddenEnum {}
|
|
|
|
@_implementationOnly
|
|
internal enum InternalEnumWithRawTypeIO : RawTypeFromDirect {
|
|
typealias RawValue = RawTypeFromDirect
|
|
case a
|
|
}
|
|
|
|
/// Classes use sites
|
|
|
|
public class PublicClassUser: ProtocolFromDirect {
|
|
// expected-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a public or '@usableFromInline' conformance; 'directs' has been imported as implementation-only}}
|
|
|
|
public init() { fatalError() }
|
|
|
|
public var publicField: StructFromDirect
|
|
// expected-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'directs' has been imported as implementation-only}}
|
|
|
|
private var privateField: StructFromDirect
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
private var c: HiddenLayout
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
|
|
@export(interface)
|
|
private func privateFunc(h: HiddenLayout) {}
|
|
}
|
|
|
|
open class OpenClassUser: ProtocolFromDirect {
|
|
// expected-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a public or '@usableFromInline' conformance; 'directs' has been imported as implementation-only}}
|
|
|
|
public init() { fatalError() }
|
|
|
|
private var ta: TA
|
|
// expected-opt-in-error @-1 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration member of a type not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration member of a type not marked '@_implementationOnly' because 'directs' has been imported as implementation-only}}
|
|
|
|
public var publicField: StructFromDirect
|
|
// expected-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'directs' has been imported as implementation-only}}
|
|
|
|
private var privateField: StructFromDirect
|
|
// expected-opt-in-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use struct 'StructFromDirect' in a property declaration member of a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
private var c: HiddenLayout
|
|
// expected-error @-1 {{cannot use struct 'HiddenLayout' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
// expected-error @-1 {{cannot use enum 'HiddenEnum' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenEnum' is marked '@_implementationOnly'}}
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
// expected-error @-1 {{cannot use protocol 'HiddenProtocol' in a property declaration member of a type not marked '@_implementationOnly'; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
|
|
@export(interface)
|
|
private func privateFunc(h: HiddenLayout) {}
|
|
}
|
|
|
|
@_fixed_layout
|
|
public class FixedClassUser: ProtocolFromDirect {
|
|
// expected-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a public or '@usableFromInline' conformance; 'directs' has been imported as implementation-only}}
|
|
|
|
public init() { fatalError() }
|
|
|
|
private var ta: TA
|
|
// expected-error @-1 {{'TA' aliases 'directs.StructFromDirect' and cannot be used in a property declaration marked public or in a '@frozen' or '@usableFromInline' context because 'directs' has been imported as implementation-only}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
public var publicField: StructFromDirect
|
|
// expected-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'directs' has been imported as implementation-only}}
|
|
|
|
private var privateField: StructFromDirect
|
|
// expected-error @-1 {{cannot use struct 'StructFromDirect' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'directs' has been imported as implementation-only}}
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var b: ExposedLayoutPrivate
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var c: HiddenLayout
|
|
// expected-error @-1 {{cannot use struct 'HiddenLayout' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var f: HiddenEnum
|
|
// expected-error @-1 {{cannot use enum 'HiddenEnum' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'HiddenEnum' is marked '@_implementationOnly'}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var i: ExposedProtocolPrivate
|
|
// expected-error @-1 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
private var j: HiddenProtocol
|
|
// expected-error @-1 {{cannot use protocol 'HiddenProtocol' in a property declaration marked public or in a '@frozen' or '@usableFromInline' context; 'HiddenProtocol' is marked '@_implementationOnly'}}
|
|
// expected-error @-2 {{type referenced from a stored property in a '@frozen' struct must be '@usableFromInline' or public}}
|
|
|
|
@export(interface)
|
|
private func privateFunc(h: HiddenLayout) {}
|
|
}
|
|
|
|
internal class InternalClassUser: ProtocolFromDirect {
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
public init() { fatalError() }
|
|
|
|
private var ta: TA
|
|
|
|
public var publicField: StructFromDirect
|
|
private var privateField: StructFromDirect
|
|
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
private var c: HiddenLayout
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
|
|
private func privateFunc(h: HiddenLayout) {} // expected-embedded-error {{struct 'HiddenLayout' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
}
|
|
|
|
private class PrivateClassUser: ProtocolFromDirect {
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' in a conformance on a type not marked '@_implementationOnly'; 'directs' has been imported as implementation-only}}
|
|
|
|
public init() { fatalError() }
|
|
|
|
private var ta: TA
|
|
|
|
public var publicField: StructFromDirect
|
|
private var privateField: StructFromDirect
|
|
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
private var c: HiddenLayout
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
|
|
private func privateFunc(h: HiddenLayout) {} // expected-embedded-error {{struct 'HiddenLayout' cannot be used in an embedded function not marked '@export(interface)' because 'HiddenLayout' is marked '@_implementationOnly'}}
|
|
}
|
|
|
|
@_implementationOnly
|
|
internal class HiddenClassUser: ProtocolFromDirect {
|
|
public init() { fatalError() }
|
|
|
|
private var ta: TA
|
|
|
|
public var publicField: StructFromDirect
|
|
private var privateField: StructFromDirect
|
|
|
|
private var a: ExposedLayoutPublic
|
|
private var aa: ExposedLayoutInternal
|
|
private var b: ExposedLayoutPrivate
|
|
private var c: HiddenLayout
|
|
|
|
private var ca: ExposedClassPublic
|
|
private var cb: ExposedClassInternal
|
|
private var cc: ExposedClassPrivate
|
|
private var cd: HiddenClass
|
|
|
|
private var d: ExposedEnumPublic
|
|
private var e: ExposedEnumPrivate
|
|
private var f: HiddenEnum
|
|
|
|
private var g: ExposedProtocolPublic
|
|
private var h: ExposedProtocolInternal
|
|
private var i: ExposedProtocolPrivate
|
|
private var j: HiddenProtocol
|
|
}
|
|
|
|
@_implementationOnly // expected-error {{'@_implementationOnly' may not be used on public declarations}}
|
|
public enum PublicHiddenClass {}
|
|
|
|
/// Protocol use sites
|
|
|
|
public protocol PublicProtocol : ProtocolFromDirect {
|
|
// expected-error @-1 {{cannot use protocol 'ProtocolFromDirect' here; 'directs' has been imported as implementation-only}}
|
|
}
|
|
|
|
internal protocol InternalProtocol : ProtocolFromDirect {
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' here; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' here; 'directs' has been imported as implementation-only}}
|
|
}
|
|
|
|
private protocol PrivateProtocol : ProtocolFromDirect {
|
|
// expected-opt-in-error @-1 {{cannot use protocol 'ProtocolFromDirect' here; 'directs' has been imported as implementation-only}}
|
|
// expected-not-opt-in-warning @-2 {{cannot use protocol 'ProtocolFromDirect' here; 'directs' has been imported as implementation-only}}
|
|
}
|
|
|
|
#if UseImplementationOnly
|
|
@_implementationOnly
|
|
internal protocol PrivateProtocolHidden : ProtocolFromDirect {
|
|
}
|
|
#endif
|