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

[Sema] Enable suppression of inferred conformances.

Browse Source 
Add the machinery to support suppression of inference of conformance to
protocols that would otherwise be derived automatically.

This commit does not enable any conformances to be suppressed.
This commit is contained in:
Nate Chandler
2024-04-01 16:25:34 -07:00
parent 9cece1b1e1
commit ba467d2bd2
24 changed files with 416 additions and 62 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
lib/Serialization/Deserialization.cpp
View File

@@ -3242,11 +3242,15 @@ class DeclDeserializer {
ArrayRef<uint64_t> rawInheritedIDs) {
SmallVector<InheritedEntry, 2> inheritedTypes;
for (auto rawID : rawInheritedIDs) {
// The first low bit indicates "@preconcurrency".
// The first low bit indicates "~" (suppression).
bool isSuppressed = rawID & 0x01;
rawID = rawID >> 1;
// The second low bit indicates "@preconcurrency".
bool isPreconcurrency = rawID & 0x01;
rawID = rawID >> 1;
// The second low bit indicates "@unchecked".
// The third low bit indicates "@unchecked".
bool isUnchecked = rawID & 0x01;
rawID = rawID >> 1;
@@ -3256,9 +3260,9 @@ class DeclDeserializer {
MF.diagnoseAndConsumeError(maybeType.takeError());
continue;
}
inheritedTypes.push_back(
InheritedEntry(TypeLoc::withoutLoc(maybeType.get()), isUnchecked,
/*isRetroactive=*/false, isPreconcurrency));
inheritedTypes.push_back(InheritedEntry(
TypeLoc::withoutLoc(maybeType.get()), isUnchecked,
/*isRetroactive=*/false, isPreconcurrency, isSuppressed));
}
auto inherited = ctx.AllocateCopy(inheritedTypes);