For now, don't deeply check inherited Sendable conformances.

DougGregor · DougGregor · commit f9f50a631b44 · 2021-11-18T21:17:56.000-08:00
This is in flux still, where we might decide to require that users restate
the conformance. For now, suppress the error.
diff --git a/lib/Sema/TypeCheckProtocol.cpp b/lib/Sema/TypeCheckProtocol.cpp
@@ -6108,6 +6108,8 @@ void TypeChecker::checkConformancesInContext(IterableDeclContext *idc) {
           sendableConformanceIsUnchecked = true;
         else if (isImpliedByConformancePredatingConcurrency(normal))
           sendableConformancePredatesConcurrency = true;
+        else if (isa<InheritedProtocolConformance>(conformance))
+          sendableConformanceIsUnchecked = true;
       }
     } else if (proto->isSpecificProtocol(KnownProtocolKind::DistributedActor)) {
       if (auto classDecl = dyn_cast<ClassDecl>(nominal)) {

Original file line number	Diff line number	Diff line change
`@@ -6108,6 +6108,8 @@ void TypeChecker::checkConformancesInContext(IterableDeclContext *idc) {`
`6108`	`6108`	`sendableConformanceIsUnchecked = true;`
`6109`	`6109`	`else if (isImpliedByConformancePredatingConcurrency(normal))`
`6110`	`6110`	`sendableConformancePredatesConcurrency = true;`
	`6111`	`+ else if (isa<InheritedProtocolConformance>(conformance))`
	`6112`	`+ sendableConformanceIsUnchecked = true;`
`6111`	`6113`	`}`
`6112`	`6114`	`} else if (proto->isSpecificProtocol(KnownProtocolKind::DistributedActor)) {`
`6113`	`6115`	`if (auto classDecl = dyn_cast<ClassDecl>(nominal)) {`