Skip to content

Tests: Improve coverage for Swift language mode availability #78765

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jan 21, 2025
Merged

Tests: Improve coverage for Swift language mode availability #78765

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
ee357df
unittests: VersionRange tests gardening.
tshortli Jan 20, 2025
113568f
Tests: Fix spelling in attr_availability_transitive_osx.swift.
tshortli Jan 20, 2025
84532e8
Tests: Rename availability_nonoverlapping.swift.
tshortli Jan 20, 2025
ec792c4
Tests: Add regression tests for transitive Swift language mode availa…
tshortli Jan 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
0 test/Sema/availability_nonoverlapping.swift → test/Sema/availability_swift_versions.swift
View file
Open in desktop
File renamed without changes.
315 changes: 315 additions & 0 deletions test/attr/attr_availability_transitive.swift
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,315 @@
// RUN: %target-typecheck-verify-swift -parse-as-library

// Allow referencing unavailable API in situations where the caller is marked unavailable in the same circumstances.

struct AlwaysAvailable {}

@available(*, unavailable)
struct NeverAvailable {} // expected-note * {{'NeverAvailable' has been explicitly marked unavailable here}}

@available(swift, obsoleted: 4)
struct UnavailableInSwift4 {} // expected-note * {{'UnavailableInSwift4' was obsoleted in Swift 4}}

@available(swift, introduced: 99)
struct AvailableInFutureSwift {} // expected-note * {{'AvailableInFutureSwift' was introduced in Swift 99}}

@discardableResult
func always() -> AlwaysAvailable {
AlwaysAvailable()
}

@available(*, unavailable)
@discardableResult
func never() -> NeverAvailable { // expected-note * {{'never()' has been explicitly marked unavailable here}}
NeverAvailable()
}

@available(swift, obsoleted: 4)
@discardableResult
func unavailableInSwift4() -> UnavailableInSwift4 { // expected-note * {{'unavailableInSwift4()' was obsoleted in Swift 4}}
UnavailableInSwift4() // expected-error {{'UnavailableInSwift4' is unavailable}}
}

@available(swift, introduced: 99)
@discardableResult
func availableInFutureSwift() -> AvailableInFutureSwift { // expected-note * {{'availableInFutureSwift()' was introduced in Swift 99}}
AvailableInFutureSwift() // expected-error {{'AvailableInFutureSwift' is unavailable}}
}

// MARK: Global functions

func available_func( // expected-note * {{add @available attribute to enclosing global function}}
_: AlwaysAvailable,
_: NeverAvailable, // expected-error {{'NeverAvailable' is unavailable}}
_: UnavailableInSwift4, // expected-error {{'UnavailableInSwift4' is unavailable}}
_: AvailableInFutureSwift, // expected-error {{'AvailableInFutureSwift' is unavailable}}
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

@available(*, unavailable)
func never_available_func(
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

@available(swift, obsoleted: 4)
func unavailable_in_swift4_func(
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

@available(swift, introduced: 99)
func introduced_in_future_swift_func(
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

// MARK: Global vars

var always_var: (
AlwaysAvailable,
NeverAvailable, // expected-error {{'NeverAvailable' is unavailable}}
UnavailableInSwift4, // expected-error {{'UnavailableInSwift4' is unavailable}}
AvailableInFutureSwift // expected-error {{'AvailableInFutureSwift' is unavailable}}
) = (
always(),
never(), // expected-error {{'never()' is unavailable}}
unavailableInSwift4(), // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift(), // expected-error {{'availableInFutureSwift()' is unavailable}}
)

@available(*, unavailable)
var never_var: (
AlwaysAvailable,
NeverAvailable,
UnavailableInSwift4,
AvailableInFutureSwift
) = (
always(),
never(), // expected-error {{'never()' is unavailable}}
unavailableInSwift4(), // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift(), // expected-error {{'availableInFutureSwift()' is unavailable}}
)

@available(swift, obsoleted: 4)
var unavailable_in_swift4_var: (
AlwaysAvailable,
NeverAvailable,
UnavailableInSwift4,
AvailableInFutureSwift
) = (
always(),
never(), // expected-error {{'never()' is unavailable}}
unavailableInSwift4(), // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift(), // expected-error {{'availableInFutureSwift()' is unavailable}}
)

@available(swift, introduced: 99)
var available_in_future_swift_var: (
AlwaysAvailable,
NeverAvailable,
UnavailableInSwift4,
AvailableInFutureSwift
) = (
always(),
never(), // expected-error {{'never()' is unavailable}}
unavailableInSwift4(), // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift(), // expected-error {{'availableInFutureSwift()' is unavailable}}
)


// MARK: Properties

struct AlwaysAvailableContainer {
let always_var: AlwaysAvailable = always()
let never_var: NeverAvailable = never() // expected-error {{'never()' is unavailable}}
// expected-error@-1 {{'NeverAvailable' is unavailable}}
let unavailable_in_swift4_var: UnavailableInSwift4 = unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
// expected-error@-1 {{'UnavailableInSwift4' is unavailable}}
let available_in_future_swift_var: AvailableInFutureSwift = availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
// expected-error@-1 {{'AvailableInFutureSwift' is unavailable}}
}

@available(*, unavailable)
struct NeverAvailableContainer { // expected-note {{'NeverAvailableContainer' has been explicitly marked unavailable here}}
let always_var: AlwaysAvailable = always()
let never_var: NeverAvailable = never() // expected-error {{'never()' is unavailable}}
let unavailable_in_swift4_var: UnavailableInSwift4 = unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
let available_in_future_swift_var: AvailableInFutureSwift = availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

@available(swift, obsoleted: 4)
struct UnavailableInSwift4Container { // expected-note {{'UnavailableInSwift4Container' was obsoleted in Swift 4}}
let always_var: AlwaysAvailable = always()
let never_var: NeverAvailable = never() // expected-error {{'never()' is unavailable}}
let unavailable_in_swift4_var: UnavailableInSwift4 = unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
let available_in_future_swift_var: AvailableInFutureSwift = availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

@available(swift, introduced: 99)
struct AvailableInFutureSwiftContainer { // expected-note {{'AvailableInFutureSwiftContainer' was introduced in Swift 99}}
let always_var: AlwaysAvailable = always()
let never_var: NeverAvailable = never() // expected-error {{'never()' is unavailable}}
let unavailable_in_swift4_var: UnavailableInSwift4 = unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
let available_in_future_swift_var: AvailableInFutureSwift = availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

// MARK: Extensions

extension AlwaysAvailableContainer {}
extension NeverAvailableContainer {} // expected-error {{'NeverAvailableContainer' is unavailable}}
extension UnavailableInSwift4Container {} // expected-error {{'UnavailableInSwift4Container' is unavailable}}
extension AvailableInFutureSwiftContainer {} // expected-error {{'AvailableInFutureSwiftContainer' is unavailable}}

@available(*, unavailable)
extension AlwaysAvailableContainer {}
@available(*, unavailable)
extension NeverAvailableContainer {}
@available(*, unavailable)
extension UnavailableInSwift4Container {}
@available(*, unavailable)
extension AvailableInFutureSwiftContainer {}

@available(swift, obsoleted: 4)
extension AlwaysAvailableContainer {}
@available(swift, obsoleted: 4)
extension NeverAvailableContainer {}
@available(swift, obsoleted: 4)
extension UnavailableInSwift4Container {}
@available(swift, obsoleted: 4)
extension AvailableInFutureSwiftContainer {}

@available(swift, introduced: 99)
extension AlwaysAvailableContainer {}
@available(swift, introduced: 99)
extension NeverAvailableContainer {}
@available(swift, introduced: 99)
extension UnavailableInSwift4Container {}
@available(swift, introduced: 99)
extension AvailableInFutureSwiftContainer {}

struct ExtendMe {}

@available(*, unavailable)
extension ExtendMe {
func never_available_extension_available_method() {} // expected-note {{has been explicitly marked unavailable here}}

func never_available_extension_available_method( // expected-note * {{add @available attribute to enclosing instance method}}
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

@available(*, unavailable)
func never_available_extension_never_available_method(
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

@available(swift, obsoleted: 4)
func never_available_extension_unavailable_in_swift4_method(
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

@available(swift, introduced: 99)
func never_available_extension_available_in_future_swift_method(
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}

}

@available(swift, obsoleted: 4)
extension ExtendMe {
func unavailable_in_swift4_extension_available_method() {} // expected-note {{'unavailable_in_swift4_extension_available_method()' was obsoleted in Swift 4}}

@available(*, unavailable)
func unavailable_in_swift4_extension_never_available_method(
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}
}

@available(swift, introduced: 99)
extension ExtendMe {
func available_in_future_swift_extension_available_method() {} // expected-note {{'available_in_future_swift_extension_available_method()' was introduced in Swift 99}}

@available(*, unavailable)
func available_in_future_swift_extension_never_available_method(
_: AlwaysAvailable,
_: NeverAvailable,
_: UnavailableInSwift4,
_: AvailableInFutureSwift,
) {
always()
never() // expected-error {{'never()' is unavailable}}
unavailableInSwift4() // expected-error {{'unavailableInSwift4()' is unavailable}}
availableInFutureSwift() // expected-error {{'availableInFutureSwift()' is unavailable}}
}
}

func available_func_call_extension_methods(_ e: ExtendMe) {
e.never_available_extension_available_method() // expected-error {{'never_available_extension_available_method()' is unavailable}}
e.unavailable_in_swift4_extension_available_method() // expected-error {{'unavailable_in_swift4_extension_available_method()' is unavailable}}
e.available_in_future_swift_extension_available_method() // expected-error {{'available_in_future_swift_extension_available_method()' is unavailable}}
}
Loading