Merge pull request #85387 from xymus/exportability-nle-proto

Sema: Exportability check protocols in non-library-evolution mode

Author: xymus

include/swift/AST/DeclAttr.def

@@ -474,7 +474,7 @@ SIMPLE_DECL_ATTR(_alwaysEmitIntoClient, AlwaysEmitIntoClient,
   83)
 
 SIMPLE_DECL_ATTR(_implementationOnly, ImplementationOnly,
-  OnImport | OnFunc | OnConstructor | OnVar | OnSubscript | OnStruct | OnClass | OnEnum,
+  OnImport | OnFunc | OnConstructor | OnVar | OnSubscript | OnNominalType,
   UserInaccessible | ABIStableToAdd | ABIStableToRemove | APIStableToAdd | APIStableToRemove | UnreachableInABIAttr,
   84)
 

lib/Sema/TypeCheckAccess.cpp

@@ -2163,13 +2163,12 @@ swift::getDisallowedOriginKind(const Decl *decl,
           Feature::AssumeResilientCxxTypes))
     return DisallowedOriginKind::FragileCxxAPI;
 
-  if (isa<StructDecl>(decl) || isa<EnumDecl>(decl)) {
-    if (decl->getASTContext().LangOpts.hasFeature(
-            Feature::CheckImplementationOnly) &&
-        decl->getAttrs().hasAttribute<ImplementationOnlyAttr>()) {
-      return DisallowedOriginKind::ImplementationOnlyMemoryLayout;
-    }
-  }
+  // Implementation-only memory layouts for non-library-evolution mode.
+  if (isa<NominalTypeDecl>(decl) &&
+      decl->getASTContext().LangOpts.hasFeature(
+          Feature::CheckImplementationOnly) &&
+      decl->getAttrs().hasAttribute<ImplementationOnlyAttr>())
+    return DisallowedOriginKind::ImplementationOnlyMemoryLayout;
 
   // Report non-public import last as it can be ignored by the caller.
   // See \c diagnoseValueDeclRefExportability.