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

[BitwiseCopyable] Permit conformance in overlay.

Browse Source 
rdar://139759304
This commit is contained in:
Nate Chandler
2024-11-12 16:53:46 -08:00
parent 8c0453d1a0
commit 80390ce1d1
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/Sema/TypeCheckBitwise.cpp
View File

@@ -417,9 +417,10 @@ bool swift::checkBitwiseCopyableConformance(ProtocolConformance *conformance,
return false;
}
// BitwiseCopyable must be added in the same source file.
// BitwiseCopyable must be added in the same module or its overlay.
auto conformanceDecl = conformanceDC->getAsDecl();
if (conformanceDecl->getModuleContext() != nominal->getModuleContext()) {
if (!conformanceDecl->getModuleContext()->isSameModuleLookingThroughOverlays(
nominal->getModuleContext())) {
conformanceDecl->diagnose(diag::bitwise_copyable_outside_module, nominal);
return true;
}

2
test/ImportResolution/Inputs/overlay.swift
View File

@@ -1,3 +1,5 @@
@_exported import ClangModuleWithOverlay
extension ClangType : BitwiseCopyable {}
public func fromSwiftOverlay() {}