diff --git a/Zend/tests/readonly_classes/readonly_class_inheritance_error1.phpt b/Zend/tests/readonly_classes/readonly_class_inheritance_error1.phpt
index 2d76d844cfa49..0996653681e5c 100644
--- a/Zend/tests/readonly_classes/readonly_class_inheritance_error1.phpt
+++ b/Zend/tests/readonly_classes/readonly_class_inheritance_error1.phpt
@@ -1,16 +1,16 @@
 --TEST--
-Non-readonly class cannot extend a readonly class
+Readonly class cannot extend a non-readonly class
 --FILE--
 <?php
 
-readonly class Foo
+class Foo
 {
 }
 
-class Bar extends Foo
+readonly class Bar extends Foo
 {
 }
 
 ?>
 --EXPECTF--
-Fatal error: Non-readonly class Bar cannot extend readonly class Foo in %s on line %d
+Fatal error: Readonly class Bar cannot extend non-readonly class Foo in %s on line %d
diff --git a/Zend/tests/readonly_classes/readonly_class_inheritance_error2.phpt b/Zend/tests/readonly_classes/readonly_class_inheritance_error2.phpt
deleted file mode 100644
index 0996653681e5c..0000000000000
--- a/Zend/tests/readonly_classes/readonly_class_inheritance_error2.phpt
+++ /dev/null
@@ -1,16 +0,0 @@
---TEST--
-Readonly class cannot extend a non-readonly class
---FILE--
-<?php
-
-class Foo
-{
-}
-
-readonly class Bar extends Foo
-{
-}
-
-?>
---EXPECTF--
-Fatal error: Readonly class Bar cannot extend non-readonly class Foo in %s on line %d
diff --git a/Zend/tests/readonly_classes/readonly_class_inheritance_success.phpt b/Zend/tests/readonly_classes/readonly_class_inheritance_success1.phpt
similarity index 100%
rename from Zend/tests/readonly_classes/readonly_class_inheritance_success.phpt
rename to Zend/tests/readonly_classes/readonly_class_inheritance_success1.phpt
diff --git a/Zend/tests/readonly_classes/readonly_class_inheritance_success2.phpt b/Zend/tests/readonly_classes/readonly_class_inheritance_success2.phpt
new file mode 100644
index 0000000000000..bd6ef1d8347b2
--- /dev/null
+++ b/Zend/tests/readonly_classes/readonly_class_inheritance_success2.phpt
@@ -0,0 +1,15 @@
+--TEST--
+Non-readonly class can extend a readonly class
+--FILE--
+<?php
+
+readonly class Foo
+{
+}
+
+class Bar extends Foo
+{
+}
+
+?>
+--EXPECT--
diff --git a/Zend/tests/readonly_classes/readonly_class_inheritance_success3.phpt b/Zend/tests/readonly_classes/readonly_class_inheritance_success3.phpt
new file mode 100644
index 0000000000000..b6e43ca7ff86c
--- /dev/null
+++ b/Zend/tests/readonly_classes/readonly_class_inheritance_success3.phpt
@@ -0,0 +1,19 @@
+--TEST--
+Non-readonly child of a readonly class can create dynamic properties
+--FILE--
+<?php
+
+readonly class Foo
+{
+}
+
+class Bar extends Foo
+{
+}
+
+$bar = new Bar();
+$bar->baz = 1;
+
+?>
+--EXPECTF--
+Deprecated: Creation of dynamic property Bar::$baz is deprecated in %s on line %d
diff --git a/Zend/tests/readonly_classes/readonly_class_inheritance_success4.phpt b/Zend/tests/readonly_classes/readonly_class_inheritance_success4.phpt
new file mode 100644
index 0000000000000..850d202d5b3c5
--- /dev/null
+++ b/Zend/tests/readonly_classes/readonly_class_inheritance_success4.phpt
@@ -0,0 +1,20 @@
+--TEST--
+Non-readonly child of a readonly class can accept the AllowDynamicProperties attribute
+--FILE--
+<?php
+
+readonly class Foo
+{
+}
+
+
+#[AllowDynamicProperties]
+class Bar extends Foo
+{
+}
+
+$bar = new Bar();
+$bar->baz = 1;
+
+?>
+--EXPECTF--
diff --git a/Zend/tests/readonly_classes/readonly_class_inheritance_success5.phpt b/Zend/tests/readonly_classes/readonly_class_inheritance_success5.phpt
new file mode 100644
index 0000000000000..1cb1a47b0d8f3
--- /dev/null
+++ b/Zend/tests/readonly_classes/readonly_class_inheritance_success5.phpt
@@ -0,0 +1,37 @@
+--TEST--
+Non-readonly child of a readonly class can declare non-readonly properties
+--FILE--
+<?php
+
+readonly class Foo
+{
+}
+
+class Bar extends Foo
+{
+    public static $property1 = 1;
+    public static int $property2 = 2;
+    public $property3 = 3;
+    public int $property4 = 4;
+}
+
+$bar = new Bar();
+Bar::$property1 = 2;
+Bar::$property2 = 3;
+$bar->property3 = 4;
+$bar->property4 = 5;
+
+var_dump(Bar::$property1);
+var_dump(Bar::$property2);
+var_dump($bar);
+
+?>
+--EXPECT--
+int(2)
+int(3)
+object(Bar)#1 (2) {
+  ["property3"]=>
+  int(4)
+  ["property4"]=>
+  int(5)
+}
diff --git a/Zend/tests/readonly_classes/readonly_class_inheritance_success6.phpt b/Zend/tests/readonly_classes/readonly_class_inheritance_success6.phpt
new file mode 100644
index 0000000000000..ad183c786d8d6
--- /dev/null
+++ b/Zend/tests/readonly_classes/readonly_class_inheritance_success6.phpt
@@ -0,0 +1,42 @@
+--TEST--
+Non-readonly child of a readonly class can declare non-readonly properties indirectly via a trait
+--FILE--
+<?php
+
+trait BarTrait
+{
+    public static $property1 = 1;
+    public static int $property2 = 2;
+    public $property3 = 3;
+    public int $property4 = 4;
+}
+
+readonly class Foo
+{
+}
+
+class Bar extends Foo
+{
+    use BarTrait;
+}
+
+$bar = new Bar();
+Bar::$property1 = 2;
+Bar::$property2 = 3;
+$bar->property3 = 4;
+$bar->property4 = 5;
+
+var_dump(Bar::$property1);
+var_dump(Bar::$property2);
+var_dump($bar);
+
+?>
+--EXPECT--
+int(2)
+int(3)
+object(Bar)#1 (2) {
+  ["property3"]=>
+  int(4)
+  ["property4"]=>
+  int(5)
+}
diff --git a/Zend/zend_inheritance.c b/Zend/zend_inheritance.c
index 0dbdaa2b35ec4..29ccb12116127 100644
--- a/Zend/zend_inheritance.c
+++ b/Zend/zend_inheritance.c
@@ -1461,7 +1461,7 @@ ZEND_API void zend_do_inheritance_ex(zend_class_entry *ce, zend_class_entry *par
 		}
 	}
 
-	if (UNEXPECTED((ce->ce_flags & ZEND_ACC_READONLY_CLASS) != (parent_ce->ce_flags & ZEND_ACC_READONLY_CLASS))) {
+	if (UNEXPECTED((ce->ce_flags & ZEND_ACC_READONLY_CLASS) && !(parent_ce->ce_flags & ZEND_ACC_READONLY_CLASS))) {
 		zend_error_noreturn(E_COMPILE_ERROR, "%s class %s cannot extend %s class %s",
 			ce->ce_flags & ZEND_ACC_READONLY_CLASS ? "Readonly" : "Non-readonly", ZSTR_VAL(ce->name),
 			parent_ce->ce_flags & ZEND_ACC_READONLY_CLASS ? "readonly" : "non-readonly", ZSTR_VAL(parent_ce->name)