Hax

.github/actions/configure-x32/action.yml

@@ -18,6 +18,8 @@ runs:
             --enable-option-checking=fatal \
             --build=i686-pc-linux-gnu \
             --prefix=/usr \
+            --enable-address-sanitizer \
+            --enable-undefined-sanitizer \
             --enable-phpdbg \
             --enable-fpm \
             --enable-intl \

.github/actions/test-linux/action.yml

@@ -40,7 +40,8 @@ runs:
           --offline \
           --show-diff \
           --show-slow 1000 \
-          --set-timeout 120
+          --set-timeout 120 \
+          ext/reflection Zend/tests
     - uses: actions/upload-artifact@v3
       if: always() && inputs.testArtifacts != null
       with:

Zend/tests/magic_methods_021.phpt

@@ -12,7 +12,7 @@ class Foo2 {
 }
 
 class Foo3 {
-    public static function __set_state(array $data): Foo3|self {}
+    public static function __set_state(array $data): Foo3|Foo2 {}
 }
 
 ?>

Zend/tests/traits/trait_parent_type_in_class_no_parent.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Cannot use a trait which references parent as a type in a class with no parent, single type
+--FILE--
+<?php
+trait TraitExample {
+    public function bar(): parent { return parent::class; }
+}
+
+class A {
+    use TraitExample;
+}
+?>
+--EXPECTF--
+Fatal error: Cannot use trait which has "parent" as a type when current class scope has no parent in %s on line %d

Zend/tests/traits/trait_parent_type_in_class_no_parent_variation2.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Cannot use a trait which references parent as a type in a class with no parent, nullable type
+--FILE--
+<?php
+trait TraitExample {
+    public function bar(): ?parent { return parent::class; }
+}
+
+class A {
+    use TraitExample;
+}
+?>
+--EXPECTF--
+Fatal error: Cannot use trait which has "parent" as a type when current class scope has no parent in %s on line %d

Zend/tests/traits/trait_parent_type_in_class_no_parent_variation3.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Cannot use a trait which references parent as a type in a class with no parent, union type
+--FILE--
+<?php
+trait TraitExample {
+    public function bar(): int|parent { return parent::class; }
+}
+
+class A {
+    use TraitExample;
+}
+?>
+--EXPECTF--
+Fatal error: Cannot use trait which has "parent" as a type when current class scope has no parent in %s on line %d

Zend/tests/traits/trait_parent_type_in_class_no_parent_variation4.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Cannot use a trait which references parent as a type in a class with no parent, DNF type
+--FILE--
+<?php
+trait TraitExample {
+    public function bar(): (X&Y)|parent { return parent::class; }
+}
+
+class A {
+    use TraitExample;
+}
+?>
+--EXPECTF--
+Fatal error: Cannot use trait which has "parent" as a type when current class scope has no parent in %s on line %d

Zend/tests/type_declarations/relative_class_types/invalid_types/invalid_parent_type_outside_class.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Cannot use parent type outside a class
+--FILE--
+<?php
+
+function foo($x): parent {};
+
+?>
+--EXPECTF--
+Fatal error: Cannot use "parent" when no class scope is active in %s on line %d

Zend/tests/type_declarations/relative_class_types/invalid_types/invalid_self_type_outside_class.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Cannot use self type outside a class
+--FILE--
+<?php
+
+function foo($x): self {};
+
+?>
+--EXPECTF--
+Fatal error: Cannot use "self" when no class scope is active in %s on line %d

Zend/tests/type_declarations/relative_class_types/invalid_types/invalid_static_type_outside_class.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Cannot use static type outside a class
+--FILE--
+<?php
+
+function foo($x): static {};
+
+?>
+--EXPECTF--
+Fatal error: Cannot use "static" when no class scope is active in %s on line %d

Zend/tests/type_declarations/relative_class_types/relative_type_in_closures.phpt

@@ -0,0 +1,13 @@
+--TEST--
+Relative class types can be used for closures as it may be bound to a class
+--FILE--
+<?php
+
+$fn1 = function($x): self {};
+$fn2 = function($x): parent {};
+$fn3 = function($x): static {};
+
+?>
+DONE
+--EXPECT--
+DONE

Zend/tests/type_declarations/union_types/redundant_types/duplicate_relative_class_parent_type.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Duplicate parent type
+--FILE--
+<?php
+
+class Foo {
+    public function method(array $data) {}
+}
+class Bar extends Foo {
+    public function method(array $data): parent|parent {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Duplicate type parent is redundant in %s on line %d

Zend/tests/type_declarations/union_types/redundant_types/duplicate_relative_class_self_type.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Duplicate self type
+--FILE--
+<?php
+
+class Foo {
+    public function method(array $data): self|self {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Duplicate type self is redundant in %s on line %d

Zend/tests/type_declarations/union_types/redundant_types/duplicate_relative_class_static_type.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Duplicate static type
+--FILE--
+<?php
+
+class Foo {
+    public function method(array $data): static|static {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Duplicate type static is redundant in %s on line %d

Zend/tests/type_declarations/union_types/redundant_types/duplicate_resolved_relative_class_type_variation1.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Relative class type self resolving to an existing entry (after variation)
+--FILE--
+<?php
+
+class Foo {
+    public function method(array $data): Foo|self {}
+}
+
+?>
+--EXPECTF--
+Fatal error: self resolves to Foo which is redundant in %s on line %d

Zend/tests/type_declarations/union_types/redundant_types/duplicate_resolved_relative_class_type_variation2.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Relative class type self resolving to an existing entry (before variation)
+--FILE--
+<?php
+
+class Foo {
+    public function method(array $data): self|Foo {}
+}
+
+?>
+--EXPECTF--
+Fatal error: self resolves to Foo which is redundant in %s on line %d

Zend/tests/type_declarations/union_types/redundant_types/duplicate_resolved_relative_class_type_variation3.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Relative class type parent resolving to an existing entry (after variation)
+--FILE--
+<?php
+
+class Foo {
+    public function method(array $data) {}
+}
+class Bar extends Foo {
+    public function method(array $data): Foo|parent {}
+}
+
+?>
+--EXPECTF--
+Fatal error: parent resolves to Foo which is redundant in %s on line %d

Zend/tests/type_declarations/union_types/redundant_types/duplicate_resolved_relative_class_type_variation4.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Relative class type parent resolving to an existing entry (before variation)
+--FILE--
+<?php
+
+class Foo {
+    public function method(array $data) {}
+}
+class Bar extends Foo {
+    public function method(array $data): parent|Foo {}
+}
+
+?>
+--EXPECTF--
+Fatal error: parent resolves to Foo which is redundant in %s on line %d