We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
LookupConformanceInModuleRequest
1 parent 72486c9 commit 0e75312Copy full SHA for 0e75312
lib/AST/ConformanceLookup.cpp
@@ -477,6 +477,11 @@ LookupConformanceInModuleRequest::evaluate(
477
if (auto selfType = type->getAs<DynamicSelfType>())
478
type = selfType->getSelfType();
479
480
+ // A pack element type conforms to whatever its underlying pack type
481
+ // conforms to.
482
+ if (auto packElement = type->getAs<PackElementType>())
483
+ type = packElement->getPackType();
484
+
485
// An archetype conforms to a protocol if the protocol is listed in the
486
// archetype's list of conformances, or if the archetype has a superclass
487
// constraint and the superclass conforms to the protocol.
0 commit comments