Merge pull request #72934 from nate-chandler/cherrypick/release/6.0/rdar126135770

6.0: [BitwiseCopyable] Don't infer for noncopyable.

Author: nate-chandler

lib/Sema/TypeCheckBitwise.cpp

@@ -229,6 +229,12 @@ void BitwiseCopyableStorageVisitor::emitNonconformingMemberTypeDiagnostic(
 static bool checkBitwiseCopyableInstanceStorage(NominalTypeDecl *nominal,
                                                 DeclContext *dc,
                                                 BitwiseCopyableCheck check) {
+  if (dc->mapTypeIntoContext(nominal->getDeclaredInterfaceType())
+          ->isNoncopyable()) {
+    // Already separately diagnosed when explicit.
+    return true;
+  }
+
   assert(dc->getParentModule()->getASTContext().getProtocol(
       KnownProtocolKind::BitwiseCopyable));
 

test/ModuleInterface/bitwise_copyable.swift

@@ -0,0 +1,11 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name Test -enable-experimental-feature BitwiseCopyable
+// RUN: %FileCheck %s < %t.swiftinterface
+// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name Test
+
+
+@frozen
+@_moveOnly
+public struct S_Implicit_Noncopyable {}
+
+// CHECK-NOT: extension Test.S_Implicit_Noncopyable : Swift._BitwiseCopyable {}