Serialization: manually write ‘FinalAttr’ if ‘isFinal’

Author: xymus

lib/Serialization/Serialization.cpp

@@ -2724,6 +2724,11 @@ void Serializer::writeDecl(const Decl *D) {
       writeDeclAttribute(Attr);
   }
 
+  if (auto VD = dyn_cast<ValueDecl>(D)) {
+    if (VD->isFinal() && !D->getAttrs().hasAttribute<FinalAttr>())
+      writeDeclAttribute(new (D->getASTContext()) FinalAttr(/*Implicit=*/false));
+  }
+
   if (auto *value = dyn_cast<ValueDecl>(D)) {
     auto *storage = dyn_cast<AbstractStorageDecl>(value);
     auto access = value->getFormalAccess();