Skip to content

Commit c9331be

Browse files
committed
Revert "[Conformance] Always downgrade redundant conformances to marker protocols to"
This reverts commit 42277cf.
1 parent af0c1df commit c9331be

File tree

2 files changed

+1
-8
lines changed

2 files changed

+1
-8
lines changed

lib/Sema/TypeCheckProtocol.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6283,7 +6283,7 @@ void TypeChecker::checkConformancesInContext(IterableDeclContext *idc) {
62836283
}
62846284

62856285
if ((existingModule != dc->getParentModule() && conformanceInOrigModule) ||
6286-
diag.Protocol->isMarkerProtocol()) {
6286+
isSendable) {
62876287
// Warn about the conformance.
62886288
if (isSendable && SendableConformance &&
62896289
isa<InheritedProtocolConformance>(SendableConformance)) {

test/decl/protocol/conforms/redundant_conformance.swift

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -86,10 +86,3 @@ class Class3 {
8686
class SomeMockClass: Class3.ProviderThree { // okay
8787
var someInt: Int = 5
8888
}
89-
90-
91-
class ImplicitCopyable {}
92-
93-
class InheritImplicitCopyable: ImplicitCopyable, Copyable {}
94-
// expected-warning@-1 {{redundant conformance of 'InheritImplicitCopyable' to protocol 'Copyable'}}
95-
// expected-note@-2 {{'InheritImplicitCopyable' inherits conformance to protocol 'Copyable' from superclass here}}

0 commit comments

Comments
 (0)