Merge pull request #80215 from tshortli/lazy-serialization-available-attribute-crash

Serialization: Skip invalid `@available` attributes during lazy serialization

Author: tshortli

lib/Serialization/Serialization.cpp

@@ -3093,7 +3093,11 @@ class Serializer::DeclSerializer : public DeclVisitor<DeclSerializer> {
 
     case DeclAttrKind::Available: {
       auto theAttr = D->getSemanticAvailableAttr(cast<AvailableAttr>(DA));
-      assert(theAttr);
+
+      // In lazy typechecking mode, it's possible that we just discovered that
+      // the attribute is invalid.
+      if (!theAttr)
+        return;
 
       ENCODE_VER_TUPLE(Introduced, theAttr->getIntroduced())
       ENCODE_VER_TUPLE(Deprecated, theAttr->getDeprecated())

test/Serialization/lazy-typecheck-rdar147539902.swift

@@ -0,0 +1,12 @@
+// RUN: %target-swift-frontend -swift-version 5 %s -module-name lazy_typecheck -enable-library-evolution -parse-as-library -emit-module -emit-module-path /dev/null -experimental-lazy-typecheck -experimental-skip-non-inlinable-function-bodies -experimental-skip-non-exportable-decls
+
+public protocol P {
+  func req()
+}
+
+@available(macOS, renamed: "P")
+@available(iOS, renamed: "P")
+@available(tvOS, renamed: "P")
+@available(watchOS, renamed: "P")
+@available(visionOS, renamed: "P")
+public typealias Q = P