Implement typed class constants

RFC: https://wiki.php.net/rfc/typed_class_constants
Co-Authored-By: Ben <[email protected]>
Co-Authored-By: Bob Weinand <[email protected]>

Author: 3 people

Zend/tests/enum/name-property.phpt

@@ -33,14 +33,14 @@ array(1) {
 string(3) "Bar"
 array(2) {
   [0]=>
-  object(ReflectionProperty)#3 (2) {
+  object(ReflectionProperty)#4 (2) {
     ["name"]=>
     string(4) "name"
     ["class"]=>
     string(6) "IntFoo"
   }
   [1]=>
-  object(ReflectionProperty)#4 (2) {
+  object(ReflectionProperty)#5 (2) {
     ["name"]=>
     string(5) "value"
     ["class"]=>

Zend/tests/type_declarations/typed_class_constants_diamond_error1.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Typed class constants (diamond error with self)
+--FILE--
+<?php
+class A {
+    public const self CONST1 = C;
+}
+
+try {
+    define("C", new A());
+} catch (Error $exception) {
+    echo $exception->getMessage() . "\n";
+}
+?>
+--EXPECT--
+Undefined constant "C"

Zend/tests/type_declarations/typed_class_constants_inheritance_error1.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Typed class constants (incompatible inheritance; simple)
+--FILE--
+<?php
+class A {
+    public const int CONST1 = 1;
+}
+
+class B extends A {
+    public const string CONST1 = 'a';
+}
+?>
+--EXPECTF--
+Fatal error: Declaration of B::CONST1 must be compatible with A::CONST1 in %s on line %d

Zend/tests/type_declarations/typed_class_constants_inheritance_error2.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Typed class constants (incompatible inheritance; missing type in child)
+--FILE--
+<?php
+class A {
+    public const int CONST1 = 1;
+}
+
+class B extends A {
+    public const CONST1 = 0;
+}
+?>
+--EXPECTF--
+Fatal error: Declaration of B::CONST1 must be compatible with A::CONST1 in %s on line %d

Zend/tests/type_declarations/typed_class_constants_inheritance_success1.phpt

@@ -0,0 +1,29 @@
+--TEST--
+Typed class constants (inheritance success)
+--FILE--
+<?php
+class A {
+    public const CONST1 = 1;
+    public const CONST2 = 1;
+    public const mixed CONST3 = 1;
+    public const iterable CONST4 = [];
+}
+
+class B extends A {
+    public const int CONST1 = 0;
+    public const mixed CONST2 = 0;
+    public const mixed CONST3 = 0;
+    public const array CONST4 = [];
+}
+
+var_dump(B::CONST1);
+var_dump(B::CONST2);
+var_dump(B::CONST3);
+var_dump(B::CONST4);
+?>
+--EXPECT--
+int(0)
+int(0)
+int(0)
+array(0) {
+}

Zend/tests/type_declarations/typed_class_constants_inheritance_success2.phpt

@@ -0,0 +1,48 @@
+--TEST--
+Typed class constants (inheritance success - object types)
+--FILE--
+<?php
+class S implements Stringable {
+    public function __toString() {
+        return "";
+    }
+}
+
+class Z extends S {}
+
+class A {
+    public const object CONST1 = S;
+    public const S CONST2 = S;
+    public const S|Stringable CONST3 = S;
+    public const S CONST4 = S;
+    public const ?S CONST5 = S;
+}
+
+class B extends A {
+    public const S CONST1 = Z;
+    public const Z CONST2 = Z;
+    public const S CONST3 = Z;
+    public const S&Stringable CONST4 = Z;
+    public const (S&Stringable)|null CONST5 = Z;
+}
+
+define("S", new S());
+define("Z", new Z());
+
+var_dump(B::CONST1);
+var_dump(B::CONST2);
+var_dump(B::CONST3);
+var_dump(B::CONST4);
+var_dump(B::CONST5);
+?>
+--EXPECTF--
+object(Z)#%d (%d) {
+}
+object(Z)#%d (%d) {
+}
+object(Z)#%d (%d) {
+}
+object(Z)#%d (%d) {
+}
+object(Z)#%d (%d) {
+}

Zend/tests/type_declarations/typed_class_constants_inheritance_success3.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Typed class constants (inheritance; private constants)
+--FILE--
+<?php
+class A {
+    private const int CONST1 = 1;
+}
+
+class B extends A {
+    public const string CONST1 = 'a';
+}
+
+var_dump(B::CONST1);
+?>
+--EXPECT--
+string(1) "a"

Zend/tests/type_declarations/typed_class_constants_type_error1.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Typed class constants (type mismatch; simple)
+--FILE--
+<?php
+class A {
+    public const string CONST1 = 1;
+}
+?>
+--EXPECTF--
+Fatal error: Cannot use int as value for class constant A::CONST1 of type string in %s on line %d

Zend/tests/type_declarations/typed_class_constants_type_error2.phpt

@@ -0,0 +1,18 @@
+--TEST--
+Typed class constants (type mismatch; runtime simple)
+--FILE--
+<?php
+class A {
+    public const int CONST1 = C;
+}
+
+define("C", "c");
+
+try {
+    var_dump(A::CONST1);
+} catch (TypeError $exception) {
+    echo $exception->getMessage() . "\n";
+}
+?>
+--EXPECT--
+Cannot assign string to class constant A::CONST1 of type int

Zend/tests/type_declarations/typed_class_constants_type_error3.phpt

@@ -0,0 +1,18 @@
+--TEST--
+Typed class constants (type mismatch; runtime object)
+--FILE--
+<?php
+class A {
+    public const string CONST1 = C;
+}
+
+define('C', new stdClass);
+
+try {
+    var_dump(A::CONST1);
+} catch (TypeError $exception) {
+    echo $exception->getMessage() . "\n";
+}
+?>
+--EXPECT--
+Cannot assign stdClass to class constant A::CONST1 of type string