averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

AST: Don't forget to check ProtocolCompositionType::hasExplicitAnyObject() in TypeMatcher

Browse Source
This commit is contained in:
Slava Pestov
2022-10-03 19:30:40 -04:00
parent 1336277bdc
commit c8f2331c40
2 changed files with 17 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
include/swift/AST/TypeMatcher.h
View File

@@ -358,6 +358,12 @@ class TypeMatcher {
Type secondType,
Type sugaredFirstType) {
if (auto secondProtocolComposition = secondType->getAs<ProtocolCompositionType>()) {
if (firstProtocolComposition->hasExplicitAnyObject() !=
secondProtocolComposition->hasExplicitAnyObject()) {
return mismatch(firstProtocolComposition.getPointer(), secondType,
sugaredFirstType);
}
auto firstMembers = firstProtocolComposition->getMembers();
auto secondMembers = secondProtocolComposition->getMembers();

11
test/Generics/issue-49200.swift Normal file
View File

@@ -0,0 +1,11 @@
// RUN: %target-typecheck-verify-swift
protocol B {
typealias A = Any
}
protocol D : B {
// expected-error@-1 {{no type for 'Self.A' can satisfy both 'Self.A == Any' and 'Self.A == AnyObject'}}
// expected-error@-2 {{no type for 'Self.A' can satisfy both 'Self.A : AnyObject' and 'Self.A == Any'}}
typealias A = AnyObject
}