zend_ast: Fix AST printing dropping readonly on promoted parameters

NEWS

@@ -6,6 +6,8 @@ PHP                                                                        NEWS
   . Fixed AST printing of interface extends list as implements. (Jorg Sowa)
   . Fixed AST printing dropping fully qualified and namespace-relative prefixes
     of class names in implements, catch, and trait use lists. (Jorg Sowa)
+  . Fixed AST printing dropping readonly on promoted constructor parameters.
+    (Jorg Sowa)
 
 - Curl:
   . Fixed curl_reset() retaining CURLOPT_PRIVATE after reset. (lacatoire)

Zend/zend_ast.c

@@ -2609,6 +2609,9 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
 				zend_ast_export_attributes(str, ast->child[3], indent, 0);
 			}
 			zend_ast_export_visibility(str, ast->attr, ZEND_MODIFIER_TARGET_CPP);
+			if (ast->attr & ZEND_ACC_READONLY) {
+				smart_str_appends(str, "readonly ");
+			}
 			if (ast->child[0]) {
 				zend_ast_export_type(str, ast->child[0], indent);
 				smart_str_appendc(str, ' ');

ext/zend_test/tests/compile_to_ast/readonly_promoted.phpt

@@ -0,0 +1,28 @@
+--TEST--
+AST can be recreated (readonly promoted constructor parameters)
+--EXTENSIONS--
+zend_test
+--FILE--
+<?php
+
+class Foo {
+    public function __construct(
+        public readonly int $publicReadonly,
+        readonly int $implicitlyPublicReadonly,
+        protected private(set) readonly array $asymmetricReadonly = [],
+        #[Attr] private readonly ?string $attributedReadonly = null,
+        public int $notReadonly = 1,
+    ) {}
+}
+
+echo zend_test_compile_to_ast( file_get_contents( __FILE__ ) );
+
+?>
+--EXPECT--
+class Foo {
+    public function __construct(public readonly int $publicReadonly, readonly int $implicitlyPublicReadonly, protected private(set) readonly array $asymmetricReadonly = [], #[Attr] private readonly ?string $attributedReadonly = null, public int $notReadonly = 1) {
+    }
+
+}
+
+echo zend_test_compile_to_ast(file_get_contents(__FILE__));