Skip to content

Commit 429f19a

Browse files
committed
Revert "[ConstraintSystem] Extend availability check to cover unavailable extensions."
This reverts commit 6de6de2.
1 parent bf6d893 commit 429f19a

File tree

2 files changed

+1
-23
lines changed

2 files changed

+1
-23
lines changed

lib/Sema/ConstraintSystem.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6540,7 +6540,7 @@ void ConstraintSystem::diagnoseFailureFor(SolutionApplicationTarget target) {
65406540
bool ConstraintSystem::isDeclUnavailable(const Decl *D,
65416541
ConstraintLocator *locator) const {
65426542
// First check whether this declaration is universally unavailable.
6543-
if (AvailableAttr::isUnavailable(D))
6543+
if (D->getAttrs().isUnavailable(getASTContext()))
65446544
return true;
65456545

65466546
return TypeChecker::isDeclarationUnavailable(D, DC, [&] {

test/Constraints/availability.swift

Lines changed: 0 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -43,25 +43,3 @@ func unavailableFunction(_ x: Int) -> Bool { true } // expected-note {{'unavaila
4343
func f_55700(_ arr: [Int]) {
4444
for x in arr where unavailableFunction(x) {} // expected-error {{'unavailableFunction' is unavailable}}
4545
}
46-
47-
// rdar://92364955 - ambiguity with member declared in unavailable extension
48-
struct WithUnavailableExt {
49-
}
50-
51-
@available(*, unavailable)
52-
extension WithUnavailableExt {
53-
static var foo: WithUnavailableExt = WithUnavailableExt()
54-
}
55-
56-
func test_no_ambiguity_with_unavailable_ext() {
57-
struct A {
58-
static var foo: A = A()
59-
}
60-
61-
struct Test {
62-
init(_: A) {}
63-
init(_: WithUnavailableExt) {}
64-
}
65-
66-
_ = Test(.foo) // Ok `A.foo` since `foo` from `WithUnavailableExt` is unavailable
67-
}

0 commit comments

Comments
 (0)