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

[nfc] improve some comments

Browse Source
This commit is contained in:
Kavon Farvardin
2023-01-30 13:03:17 -08:00
parent 007399f0d0
commit 18b1389542
3 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
lib/AST/Module.cpp
View File

@@ -1369,7 +1369,7 @@ static ProtocolConformanceRef getBuiltinTupleTypeConformance(
return ProtocolConformanceRef(specialized);
}
/// For some known protocols like Sendable and Copyable, a tuple type
/// For some known protocols (KPs) like Sendable and Copyable, a tuple type
/// conforms to the protocol KP when all of their element types conform to KP.
if (protocol->isSpecificProtocol(KnownProtocolKind::Sendable) ||
protocol->isSpecificProtocol(KnownProtocolKind::Copyable)) {
@@ -1458,8 +1458,8 @@ static ProtocolConformanceRef getBuiltinFunctionTypeConformance(
BuiltinConformanceKind::Synthesized));
}
// Functions cannot destroy move-only vars/lets that they capture, so it's
// safe to copy functions, as if they're classes.
// Functions cannot permanently destroy a move-only var/let
// that they capture, so it's safe to copy functions, like classes.
if (protocol->isSpecificProtocol(KnownProtocolKind::Copyable)) {
return ProtocolConformanceRef(
ctx.getBuiltinConformance(type, protocol, GenericSignature(), {},
@@ -1547,7 +1547,6 @@ LookupConformanceInModuleRequest::evaluate(
if (auto archetype = type->getAs<ArchetypeType>()) {
// All archetypes conform to Copyable since they represent a generic.
// FIXME: can't tell whether this is a hack.
if (protocol->isSpecificProtocol(KnownProtocolKind::Copyable))
return ProtocolConformanceRef(protocol);