refactor: added tests for rfc examples

Author: NickSdot

…/tests/property_hooks/readonly_lazy.phpt …s/readonly_rfc_example_lazy_product.phptZend/tests/property_hooks/readonly_lazy.phpt renamed to Zend/tests/property_hooks/readonly_rfc_example_lazy_product.phpt Zend/tests/property_hooks/readonly_lazy.phpt renamed to Zend/tests/property_hooks/readonly_rfc_example_lazy_product.phpt

@@ -0,0 +1,32 @@
+--TEST--
+Readonly property hook validation
+--FILE--
+<?php
+
+readonly class PositivePoint
+{
+ public function __construct(
+     public int $x { set => $value > 0 ? $value : throw new \Error('Value must be greater 0'); },
+     public int $y { set => $value > 0 ? $value : throw new \Error('Value must be greater 0'); },
+ ) {}
+}
+
+$one = new PositivePoint(1,1);
+var_dump($one);
+
+try {
+   $two = new PositivePoint(0,1);
+} catch (Error $e) {
+   echo $e->getMessage(), "\n";
+}
+
+
+?>
+--EXPECTF--
+object(PositivePoint)#1 (2) {
+  ["x"]=>
+  int(1)
+  ["y"]=>
+  int(1)
+}
+Value must be greater 0