Merge pull request #77572 from nate-chandler/rdar139759304

[BitwiseCopyable] Permit conformance in overlay.

Author: nate-chandler

lib/Sema/TypeCheckBitwise.cpp

@@ -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;
   }

test/ImportResolution/Inputs/overlay.swift

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