Files
swift-mirror/test/Constraints/rdar60898369.swift
Pavel Yaskevich 81dbec09fb [ConstraintSystem] Don't check -disable-availability-checking
Checking for `-disable-availability-checking` in
`ConstraintSystem::isDeclUnavailable` caused a regression with
obsolete/introduced checking. Let's rely on
`DeclAttributes::isUnavailable` and `TypeChecker::isDeclAvailable`
to do the right thing instead.

Resolves: rdar://problem/60898369
2020-03-26 16:13:32 -07:00

12 lines
250 B
Swift

// RUN: %target-typecheck-verify-swift -disable-availability-checking -swift-version 5
struct S {
@available(swift, obsoleted: 4.2)
init(foo: Int) throws {}
@available(swift, introduced: 4.2)
init?(foo: Int) throws {}
}
_ = try S(foo: 42)